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

Определение:

Антисимметричное отношение - бинарное отношение [math]R \subseteq A\times A[/math], для которого выполняется: [math] \forall a, b\in A: (aRb) \wedge (bRa) \Rightarrow a = b[/math].

Определение антисимметричного отношения как [math] (aRb) \Rightarrow \neg(bRa) [/math] является неверным, поскольку из такого определения также следует антирефлексивность R. Такое отношение называют асимметричным.

Примерами антисимметричных отношений являются, по определению, все отношения полного и частичного порядка([math] \lt , \gt , \le, \ge [/math] и другие).

См. также

• Симметричное отношение