Фактор-множества

Пусть X – множество и R – отношение эквивалентности на нем. Из свойства транзитивности отношения эквивалентности следует, что любой класс эквивалентности является множеством всех элементов, эквивалентных произвольному элементу из этого класса. Таким образом, из теоремы следует, что отношение эквивалентности позволяет данное множество X представить в виде объединения взаимно непересекающихся классов эквивалентности.

Совокупность всех классов эквивалентности называется фактор-множеством. Оно обозначается символом X/R.

Каждый элемент x из множества X полностью определяет класс эквивалентности, его содержащий, который обозначается символом , так что (и , если и только если x~y). Элемент x называется представителем класса A, если .