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 носит исключительно семантический характер.

Ссылки

• Стандарт C++23 (ISO/IEC 14882:2024):
• 18.7.6 Концепт equivalence_relation [concept.equiv]
• Стандарт C++20 (ISO/IEC 14882:2020):
• 18.7.6 Концепт equivalence_relation [concept.equiv]