quasiorder

A relation "<=" is called a preorder (or quasiorder) on a set S if it satisfies: 1. Reflexivity: a<=a for all a element S. 2. Transitivity: a<=b and b<=c implies a<=c. A preorder that also has antisymmetry is a partial order.

partial order | total order