dedekind::sets::IsPairing Concept Reference

A carrier that is the product of its two legs and is built from them (the pairing ⟨a, b⟩): a set over it answers r(a, b) as r(⟨a, b⟩) (#1047). IsProduct, plus construction from the legs: std::pair, Complex (ℂ ≅ ℝ×ℝ) and Rational (the pairing then the quotient ℤ×ℤ → ℚ, so r(n, d) asks whether n/d is a member). More...

Concept definition

template<typename D>
concept dedekind::sets::IsPairing =  dedekind::category::IsProduct<D, leg_1_t<D>, leg_2_t<D>> &&
                    std::constructible_from<D, leg_1_t<D>, leg_2_t<D>>

Detailed Description

A carrier that is the product of its two legs and is built from them (the pairing ⟨a, b⟩): a set over it answers r(a, b) as r(⟨a, b⟩) (#1047). IsProduct, plus construction from the legs: std::pair, Complex (ℂ ≅ ℝ×ℝ) and Rational (the pairing then the quotient ℤ×ℤ → ℚ, so r(n, d) asks whether n/d is a member).

Template Parameters

D	the carrier.