dedekind::sets::HeterogeneousPair Concept Reference

Two set objects on different carriers (the ℕ / ℤ pair aside): the operands of a sum. More...

Concept definition

template<typename A, typename B>
concept dedekind::sets::HeterogeneousPair = 
    IsSetObject<A> && IsSetObject<B> &&
    (!std::same_as<typename A::Domain, typename B::Domain>) &&
    (!NatZedPair<A, B>) && (!NatZedPair<B, A>) &&
    dedekind::category::HaveLogicJoin<typename A::logic_species,
                                      typename B::logic_species>

Detailed Description

Two set objects on different carriers (the ℕ / ℤ pair aside): the operands of a sum.