Отношение, обладающее свойствами рефлексивности, симметричности и транзитивности называют отношением эквиваленции.
Разбиение множества на классы происходит при условии:
1.Ни одно из подмножеств не является пустым
2.Подмножества не пересекаются
3.В объединении дают исходное множество