std::equivalence_relation

template< class R, class T, class U >
concept equivalence_relation = std::relation<R, T, U>;

Концепция equivalence_relation<R, T, U> определяет, что relation R накладывает отношение эквивалентности на свои аргументы.

Семантические требования

Отношение r является отношением эквивалентности, если

• оно рефлексивно: для всех x, r(x, x) является true;
• оно симметрично: для всех a и b, r(a, b) является true тогда и только тогда, когда r(b, a) является true;
• оно транзитивно: r(a, b) && r(b, c) подразумевает r(a, c).

Примечания

Различие между relation и equivalence_relation чисто семантическое.