Изменения

Если на множестве M задано отношение эквивалентности <tex>\thicksim</tex>, то оно порождает разбиение этого множества на '''классы эквивалентности''' такое, что:

* любые два элемента одного класса находятся в отношении <tex>\thicksim</tex>

}}

Семейство всех классов эквивалентности множества образует множество, называемое ''фактор-множеством'', или ''факторизацией'' множества <tex>M</tex> по отношению <tex>\thicksim</tex>, и обозначаемое <tex>M/^{\thicksim}</tex>.