2.6.I. Порядок

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

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

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