2.6.G. Эквивалентные

Бинарное отношение является эквивалентным, если и только если оно рефлексивно, транзитивно и симметрично.

Классы, в которые эквивалентное отношение распределяет элементы, являются элементами "частного" множества.

Каждое эквивалентное отношение есть форма ρ^-1 ρ, где ρ – отображение элементов основного множества в частное множество. (ρ свидетельствует для каждого элемента - к которому классу оно относится).

Перевод © 2011 Сергей Котов

Теория множеств механизма и гомеостаза