A relation 
on a set 
is antisymmetric provided that distinct elements are never
both related to one another. In other words 
and 
together imply that 
.
Antisymmetric Relation
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Antisymmetric Relation." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AntisymmetricRelation.html