Inverse of Antitransitive Relation is Antitransitive

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

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

Proof
Let $\mathcal R$ be antitransitive.

Then:
 * $\left({x, y}\right), \left({y, z}\right) \in \mathcal R \implies \left({x, z}\right) \notin \mathcal R$

Thus:
 * $\left({y, x}\right), \left({z, y}\right) \in \mathcal R^{-1} \implies \left({z, x}\right) \notin \mathcal R^{-1}$

and so $\mathcal R^{-1}$ is antitransitive.