2.6.H. Антисимметричные

Бинарное отношение антисимметрично, если для всех ˂x, y˃

[˂x, y˃ ∈ R и ˂y, x˃ ∈ R] ⇒ [x = y];

То есть [˂x, y˃ ∈ R ∩ R^-1]⇒ [x = y]:

6H.1  R антисимметрично ⇔ R ∩ R^-1 ⊂ 1_E. (Riguet)

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

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