dedekind::category::IsPartialOrder Concept Reference

Named stage for the partial-order maturity level of parthood. More...

Concept definition

template<typename T, typename Rel std::less_equal<T>, typename Ω bool>
concept dedekind::category::IsPartialOrder =  IsPartRelation<T, Rel, Ω>

Detailed Description

Named stage for the partial-order maturity level of parthood.

This is an explicit taxonomy rung in the order ladder: parthood relation -> partial order -> total order.