Inverse of Antireflexive Relation is Antireflexive

Theorem
Let $\mathcal R$ be a relation on a set $S$.

If $\mathcal R$ is antireflexive, then so is $\mathcal R^{-1}$.

Proof
Hence the result by definition of antireflexive relation.