Antisymmetric relation

if ${\displaystyle aRb}$ with ${\displaystyle a\ne b}$ then ${\displaystyle bRa}$ must not hold,

or equivalently,

if ${\displaystyle aRb}$ and ${\displaystyle bRa}$ then ${\displaystyle a=b}$.

The definition of antisymmetry says nothing about whether ${\displaystyle aRa}$ actually holds or not for any ${\displaystyle a}$. An antisymmetric relation ${\displaystyle R}$ on a set ${\displaystyle X}$ may be reflexive (that is, ${\displaystyle aRa}$ for all ${\displaystyle a\in X}$), irreflexive (that is, ${\displaystyle aRa}$ for no ${\displaystyle a\in X}$), or neither reflexive nor irreflexive. A relation is asymmetric if and only if it is both antisymmetric and irreflexive.

Examples

The divisibility relation on the natural numbers is an important example of an antisymmetric relation. In this context, antisymmetry means that the only way each of two numbers can be divisible by the other is if the two are, in fact, the same number; equivalently, if ${\displaystyle n}$ and ${\displaystyle m}$ are distinct and ${\displaystyle n}$ is a factor of ${\displaystyle m,}$ then ${\displaystyle m}$ cannot be a factor of ${\displaystyle n.}$ For example, 12 is divisible by 4, but 4 is not divisible by 12.

The usual order relation ${\displaystyle \le }$ on the real numbers is antisymmetric: if for two real numbers ${\displaystyle x}$ and ${\displaystyle y}$ both inequalities ${\displaystyle x\le y}$ and ${\displaystyle y\le x}$ hold, then ${\displaystyle x}$ and ${\displaystyle y}$ must be equal. Similarly, the subset order ${\displaystyle \subseteq }$ on the subsets of any given set is antisymmetric: given two sets ${\displaystyle A}$ and ${\displaystyle B,}$ if every element in ${\displaystyle A}$ also is in ${\displaystyle B}$ and every element in ${\displaystyle B}$ is also in ${\displaystyle A,}$ then ${\displaystyle A}$ and ${\displaystyle B}$ must contain all the same elements and therefore be equal:

${\displaystyle A\subseteq B}$ and ${\displaystyle B\subseteq A}$ implies ${\displaystyle A=B}$.

A real-life example of a relation that is typically antisymmetric is "paid the restaurant bill of" (understood as restricted to a given occasion). Typically, some people pay their own bills, while others pay for their spouses or friends. As long as no two people pay each other's bills, the relation is antisymmetric.