A pre-order on a Set $X$ is a (binary) Relation on $X$, that is reflexive and transitive.

They correspond to thin categories