Специальные бинарные отношения. Классы эквивалентности и фактор-множество

Отношение, обладающее одновременно свойствами рефлексивности, симметричности и транзитивности, называется отношением эквивалентности (обозначение: ).

Класс эквивалентности х — множество элементов, эквивалентных х.

Фактор-множество — семейство непересекающихся классов эквивалентности, т. е. если то либо либо