Пусть $\sim$ — отношение эквивалентности на $M$. Множество классов эквивалентности называется фактормножеством и обозначается $M/\sim$.