Definition:Strict Ordering/Antireflexive and Transitive

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

Then $\mathcal R$ is a strict ordering (on $S$) iff the following two conditions hold: