Антирефлексивное отношение

Антирефлексивное отношение (Irreflexive relation) - отношение [math]\displaystyle{ R }[/math], определенное на множестве [math]\displaystyle{ S }[/math] и обладающее тем свойством, что [math]\displaystyle{ xRx }[/math] несправедливо для любого [math]\displaystyle{ x }[/math] из [math]\displaystyle{ S }[/math]. Примерами могут служить отношения "является сыном" и "меньше чем", определенные, соответственно, на множестве людей и множестве целых чисел.

Литература

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