A relational predicate: a predicate on the points of a product (or of a carrier, for an atom on π), tagged is_rel_predicate; it meets its universe only at the former &. More...

Concept definition

template<typename T>
concept dedekind::sets::IsRelPredicate = 
    requires { typename std::remove_cvref_t<T>::is_rel_predicate; }

Detailed Description

A relational predicate: a predicate on the points of a product (or of a carrier, for an atom on π), tagged is_rel_predicate; it meets its universe only at the former &.

Template Parameters

T	the candidate.