Preorder

Reflexive and transitive binary relation

In mathematics, in particular in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. The name preorder is meant to suggest that preorders are almost partial orders, but not quite, as they are not necessarily antisymmetric. A natural example of a preorder is the divides relation "x divides y" between integers.

From Wikipedia, under CC BY-SA. More on occurri.