Если на множестве А задано отношение эквивалентности ~ , оно определяет разбиение множества А на непустые непересекающиеся классы эквивалентности.
Пример.
Пусть
и бинарное отношение
задается правилом
Доказать, что
- отношение эквивалентности и описать классы эквивалентности.