The most basic relation: Reflexive and Transitive. More...

Concept definition

template<typename T, typename L Boole>
concept dedekind::order::IsPreOrdered =  IsPartOfRelation<T, T, typename L::Ω> &&
                       is_reflexive_v<T, std::less_equal<>> &&
                       is_transitive_v<T, std::less_equal<>>

Detailed Description

The most basic relation: Reflexive and Transitive.