Антисимметричное отношение

Антисимметричное отношение (Antisymmetric relation) — отношение $R$ , определенное на множестве $S$ и обладающее тем свойством, что всякий раз, когда $xRy$ и $yRx$ , $x = y$ , где $x$ и $y$ — произвольные элементы $S$ . В качестве примера можно привести отношение "является подмножеством", определенное на любом множестве, и отношение "меньше или равно", определенное на множестве целых чисел.