\begin{definition}[Definition:Preorder Category/Definition 2]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is a '''preorder category''' {{iff}}
:For all objects $C, C'$ of $\mathbf C$, there is at most one morphism $f: C \to C'$
\end{definition}