Antireflexive and Transitive Relation is Asymmetric

Theorem
Every relation which is antireflexive and transitive is also asymmetric.

Proof
Let $$\mathcal{R} \subseteq S \times S$$ be antireflexive and transitive.

That is:

$$ $$

Now suppose $$\mathcal{R}$$ is not asymmetric.

Then, by definition, $$\exists \left({x, y}\right) \in \mathcal{R}: \left({y, x}\right) \in \mathcal{R}$$.

Then from the transitivity of $$\mathcal{R}$$ that would mean $$\left({x, x}\right) \in \mathcal{R}$$.

But that would contradict the antireflexivity of $$\mathcal{R}$$.

Therefore $$\left({x, y}\right) \in \mathcal{R} \implies \left({y, x}\right) \notin \mathcal{R}$$ and $$\mathcal{R}$$ has been shown to be asymmetric.