2.6.I. Порядок
Бинарное отношение является отношением порядка, если и только если оно рефлексивно, транзитивно и антисимметрично.
Перевод © 2011 Сергей Котов
Теория множеств механизма и гомеостаза