A Preorder
a ≤ a
a ≤ b ∧ b ≤ c ⇒ a ≤ c