Equivalence of Definitions of Strict Ordering

Theorem
Let $S$ be a set.

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

Then the following definitions for $\mathcal R$ to be a strict ordering are equivalent:

Asymmetric Transitive Relation is Antireflexive
Follows immediately from Asymmetric Relation is Antireflexive.