Definition:Preordering/Definition 1

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

Also see

 * Equivalence of Definitions of Preordering