dedekind::order::IsPartiallyOrdered Concept Reference

A refinement of the Pre-Order that satisfies Antisymmetry (Identity). More...

Concept definition

template<typename T, typename L Boole>
concept dedekind::order::IsPartiallyOrdered = 
    IsPreOrdered<T, L> && is_antisymmetric_v<T, std::less_equal<>> &&
    requires(const T a, const T b) {
      { a == b } -> std::same_as<typename L::Ω>;
    }

Detailed Description

A refinement of the Pre-Order that satisfies Antisymmetry (Identity).