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. To every preorder, there corresponds a directed graph, with elements of the set corresponding to vertices, and the order relation bet... Found on http://en.wikipedia.org/wiki/Preorder