Definition A preorder is a binary relation R:A→A→Prop s.t. R is reflexive R is transitive Remarks Every pre-order forms a Thin Category.