A preorder on a set X is a relation ⩽⊆X×X on X that is
- reflexive: ∀x∈X. x⩽x
- transitive: ∀x,y,z∈X. (x⩽y∧y⩽z)⟹x⩽z
A preorder is almost a partial order, but it does not satisfy the antisymmetry axiom. In other words, it is possible to have that two elements are equivalent according to the preorder, in the sense that
x∼y≜x⩽y∧y⩽x
without them being equal (x=y).
There is a canonical way to induce a partial order by quotienting with this equivalence relation ∼.