Отношение эквивалентности
Отношение эквивалентности — симметричное, рефлексивное и транзитивное отношение. Используется для классификации множеств элементов путем разделения его на непересекающиеся классы, в совокупности покрывающие все исходное множество.