A Relation which satisfies Reflexivity and Transitivity
https://en.wikipedia.org/wiki/Preorder
They are categories