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