Inverse of Antireflexive Relation is Antireflexive

Theorem
Let $\RR$ be a relation on a set $S$.

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

Proof
Hence the result by definition of antireflexive relation.