Definition:Preordering

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

Also see

 * Equivalence of Definitions of Preordering


 * Symmetric Preordering is Equivalence Relation
 * Antisymmetric Preordering is Ordering


 * Definition:Preorder Category, interpreting preorders as categories.


 * Definition:Ordering