Definition:Strict Ordering/Antireflexive and Transitive

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

Then $\RR$ is a strict ordering (on $S$) $\RR$ satisfies the strict ordering axioms:

Also see

 * Equivalence of Definitions of Strict Ordering