Order

Definition

A preorder is a relation $R:A\to A\to \mathrm{Prop}$ s.t.

• $R$ is Reflexive Relation
• $R$ is transitive
• $R$ is anti-symmetric
• $R$ is total

Remarks

Every partial order is a pre-order, so forms a Thin Category.