Википедия
Фактормножество
Пусть на множестве X задано отношение эквивалентности ∼ . Тогда множество всех классов эквивалентности называется фактормножеством и обозначается X/ ∼ . Разбиение множества на классы эквивалентных элементов называется его факторизацией.
Отображение из X в множество классов эквивалентности X/ ∼ называется факторотображением. Благодаря свойствам отношения эквивалентности, разбиение на множества единственно. Это означает, что классы, содержащие ∀x, y ∈ X, либо не пересекаются, либо совпадают полностью. Для любого элемента x ∈ X однозначно определён некоторый класс из X/ ∼ , иными словами существует сюръективное отображение из X в X/ ∼ . Класс, содержащий x, иногда обозначают [x].