Observation. Preorders as Categories [0064]

A preorder is precisely a (small) category in which there are no parallel pairs of distinct morphisms between any fixed pair of objects.