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

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

Литература

• Толковый словарь по вычислительным системам. - М.: Машиностроение, 1991.