Transitive Relation
a ≤ b ∧ b ≤ c ⇒ a ≤ c