Definition A preorder is a relation R:A→A→Prop s.t. R is reflexive R is transitive R is anti-symmetric Remarks Every partial order is a pre-order, so forms a thin category.