A datum over T: a predicate on T (an arrow into a truth object) that is not itself a set. Point, Bounds, LowerCut. More...

Concept definition

template<typename P, typename T>
concept dedekind::sets::IsDatum = 
    IsPredicate<P> && std::same_as<Dom<P>, T> && !IsSetObject<P> && !IsLSet<P>

Detailed Description

A datum over T: a predicate on T (an arrow into a truth object) that is not itself a set. Point, Bounds, LowerCut.

Template Parameters

P	the candidate.
T	the carrier.