A preorder satisfies:
reflexivity and transitivity.