Definition 1.4.17.  Let S be a set, ≺ be a relation on S, T ⊆ S, s ∈ S. We define:
s is a ≺-lower bound of T  :⇔  ∀ t ∈ T : s ≺ t