std::equivalence_relation

Определено в заголовочном файле `<concepts>`
`template < class R, class T, class U > concept equivalence_relation = std::relation<R, T, U>;`		(начиная с C++20)

Концепт 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++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки