Дайте определение бинарного отношения эквивалентности, класса эквивалентности, фактор множества по отношению эквивалентности. Приведите пример графа бинарного отношения эквивалентности на множестве из 5 элементов, для него постройте фактор множества.

Рефлексивное симметричное транзитивное отношение называется отношением эквивалентности.

Система непустых подмножеств  множества  называется разбиением (англ. partition) данного множества, если:  при . Множества  называются классами данного разбиения.

Примерами разбиений являются:

• Разбиение многоугольников на группы по числу вершин.
• Разбиение треугольников по свойствам углов (остроугольные, прямоугольные, тупоугольные).
• Разбиение учащихся школы по классам.