Posetal refinement where the underlying order is total/linear. More...

Concept definition

template<typename T, typename Rel std::less_equal<T>, typename L Boole>
concept dedekind::category::IsTotallyOrderedPosetal = 
    IsPosetal<T, Rel, L> && IsTotalOrder<T, Rel, typename L::Ω>

Detailed Description

Posetal refinement where the underlying order is total/linear.