Definition:Preordering/Definition 1

Definition
Let $\mathcal R \subseteq S \times S$ be a relation on a set $S$. $\mathcal R$ is a preordering on $S$ iff:

Also see

 * Equivalence of Definitions of Preordering