Definition:Ordering/Definition 1

Definition
Let $S$ be a set. An ordering on $S$ is a relation $\mathcal R$ on $S$ such that:

Also see

 * Equivalence of Definitions of Ordering