A Partial Order
a ≤ a
a ≤ b ∧ b ≤ c ⇒ a ≤ c
a ≤ b ∧ b ≤ a ⇒ a = b