In mathematics, a binary relation \(R\) on a set \(X\) is antisymmetric if there is no pair of distinct elements of \(X\) each of which is related by \(R\) to the other. More formally, \(R\) is antisymmetric precisely if for all \(a,b \in X\):

\(\text{if }\,aRb\,\text{ with }\,a\neq b\,\text{ then }\,bRa\,\text{ must not hold}\)

or equivalently,

\(\text{if }\,aRb\,\text{ and }\,bRa\,\text{ then }\,a=b\).

(“Antisymmetric Relation” 2022)

Bibliography

“Antisymmetric Relation.” 2022. Wikipedia, January. https://en.wikipedia.org/w/index.php?title=Antisymmetric_relation&oldid=1065605400.