Two predicates over one object, answering in one species: the operand sort of the predicate combinators below, which close on IsPredicate. Named so the set grammar's && / || (sets) can take exactly the other pairs of terms (relational fragments, mixed terms, the structured collapse) without overlapping these. More...

Concept definition

template<typename P, typename Q>
concept dedekind::category::IsPredicatePair = 
    IsPredicate<P> && IsPredicate<Q> && std::same_as<Dom<P>, Dom<Q>> &&
    std::same_as<Cod<P>, Cod<Q>> &&
    std::same_as<predicate_logic_t<P>, predicate_logic_t<Q>>

Detailed Description

Two predicates over one object, answering in one species: the operand sort of the predicate combinators below, which close on IsPredicate. Named so the set grammar's && / || (sets) can take exactly the other pairs of terms (relational fragments, mixed terms, the structured collapse) without overlapping these.

Template Parameters

P	the left predicate.
Q	the right predicate.