Фактормножество: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
JackieBot (обсуждение | вклад) м Бот: автоматизированная замена текста (-соответсв +соответств) |
Нет описания правки |
||
Строка 1:
Пусть на множестве <math>X</math> задано [[отношение эквивалентности]] <math>\sim</math>. Тогда множество всех классов эквивалентности называется '''
Отображение из <math>X</math> в множество классов эквивалентности <math>X/\!\sim</math> называется '''факторотображением'''. Благодаря свойствам отношения эквивалентности, разбиение на множества единственно. Это означает, что классы, содержащие <math>\forall x,\;y\in X</math>, либо не пересекаются, либо совпадают полностью.
|