A term of the set grammar, the operand sort of && / ||: an arrow (a predicate, a set, a node over arrows) or a point-free relational fragment (π_1 ⋈ π_2, tagged is_rel_predicate, which meets its domain only at the former &). A bare truth value is not a term: bool && bool stays the host language's, and a constant beside a predicate lifts through :topoi. More...

Concept definition

template<typename P>
concept dedekind::sets::IsLogicalTerm =  IsArrow<std::remove_cvref_t<P>> || requires {
  typename std::remove_cvref_t<P>::is_rel_predicate;
}

Detailed Description

A term of the set grammar, the operand sort of && / ||: an arrow (a predicate, a set, a node over arrows) or a point-free relational fragment (π_1 ⋈ π_2, tagged is_rel_predicate, which meets its domain only at the former &). A bare truth value is not a term: bool && bool stays the host language's, and a constant beside a predicate lifts through :topoi.

Template Parameters

P	the operand.