Axiom:Strict Ordering Axioms/Formulation 1

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

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

Also see

 * Equivalence of Definitions of Strict Ordering