Preorder

In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. All partial orders and equivalence relations are preorders, but preorders are more general.