Reflexive Closure of Antisymmetric Relation is Antisymmetric
Jump to navigation
Jump to search
Theorem
Let $S$ be a set.
Let $RR$ be an antisymmetric relation on $S$.
Let $\RR^=$ be the reflexive closure of $\RR$.
Then $\RR^=$ is also antisymmetric.
Proof
Let $a, b \in S$.
Suppose that $a \mathrel {\RR^=} b$ and $b \mathrel {\RR^=} a$.
By definition of $\RR^=$, this means:
- $a \mathrel \RR b$ or $a = b$
- $b \mathrel \RR a$ or $b = a$
If $a = b$ or $b = a$ we are done, by definition of an antisymmetric relation.
So suppose $a \mathrel \RR b$ and $b \mathrel \RR a$.
Because $\RR$ is antisymmetric, it follows that $a = b$ in this case as well.
Hence $\RR^=$ is also antisymmetric.
$\blacksquare$