Transitive binary relations v t e
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ Y Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all ${\displaystyle a,b}$ and ${\displaystyle S\neq \varnothing :}$ ${\displaystyle {\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned))}$ ${\displaystyle {\begin{aligned}aRb{\text{ and ))&bRa\\\Rightarrow a={}&b\end{aligned))}$ ${\displaystyle {\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ or ))&bRa\end{aligned))}$ ${\displaystyle {\begin{aligned}\min S\\{\text{exists))\end{aligned))}$ ${\displaystyle {\begin{aligned}a\vee b\\{\text{exists))\end{aligned))}$ ${\displaystyle {\begin{aligned}a\wedge b\\{\text{exists))\end{aligned))}$ ${\displaystyle aRa}$ ${\displaystyle {\text{not ))aRa}$ ${\displaystyle {\begin{aligned}aRb\Rightarrow \\{\text{not ))bRa\end{aligned))}$
Y indicates that the column's property is always true the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly require the homogeneous relation ${\displaystyle R}$ be transitive: for all ${\displaystyle a,b,c,}$ if ${\displaystyle aRb}$ and ${\displaystyle bRc}$ then ${\displaystyle aRc.}$ A term's definition may require additional properties that are not listed in this table.

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

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

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

${\displaystyle aRa}$

${\displaystyle a}$

${\displaystyle R}$

${\displaystyle X}$

${\displaystyle aRa}$

${\displaystyle a\in X}$

${\displaystyle aRa}$

${\displaystyle a\in X}$

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 \,\leq \,}$ on the real numbers is antisymmetric: if for two real numbers ${\displaystyle x}$ and ${\displaystyle y}$ both inequalities ${\displaystyle x\leq y}$ and ${\displaystyle y\leq 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{\text{ and ))B\subseteq A{\text{ implies ))A=B}$$

Properties

Partial and total orders are antisymmetric by definition. A relation can be both symmetric and antisymmetric (in this case, it must be coreflexive), and there are relations which are neither symmetric nor antisymmetric (for example, the "preys on" relation on biological species).

Antisymmetry is different from asymmetry: a relation is asymmetric if and only if it is antisymmetric and irreflexive.