std::strict_weak_order
Min standard notice:
Header: <concepts>
The concept strict_weak_order<R, T, U> specifies that the relation R imposes a strict weak ordering on its arguments.
# Declarations
template< class R, class T, class U >
concept strict_weak_order = std::relation<R, T, U>;
(since C++20)
# Notes
The distinction between relation and strict_weak_order is purely semantic.