Equivalence of Definitions of Strict Ordering

Theorem
Let $S$ be a set.

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

Proof
Let $\RR$ be transitive.

Then by Transitive Relation is Antireflexive iff Asymmetric it follows directly that:


 * $(1): \quad$ If $\RR$ is antireflexive then it is asymmetric
 * $(2): \quad$ If $\RR$ is asymmetric then it is antireflexive.