Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности

Важнейшее значение эквивалентности состоит в том, что это отношение определяет признак, который допускает разбиение множества M на непересекающиеся подмножества, называемые классами эквивалентности. И наоборот: всякое разбиение подмножества М на пересекающиеся подмножества определяет между элементами этого множества некоторое отношение эквивалентности.