Сечения. Рассмотрим отношение R Ì Х ´ У; если , то сечение по , отношения R, обозначаемое , есть множество

Рассмотрим отношение R Ì Х ´ У; если , то сечение по , отношения R, обозначаемое , есть множество таких, что . Множество всех сечений отношения R называют фактор-множеством множества У по отношению R и обозначают . Оно полностью определяет отношение R.

Пример. Пусть:

Тогда

Если записать под каждым элементом из Х соответствующее сечение отношения R, то элементы второй строки образуют фактор-множество :