Definition 1.4.19.  Let S be a set, ⪯ be a relation on S, T ⊆ S, t ∈ T. We define:
t is a ⪯-least element of T  :⇔  t is a ⪯-lower bound of T
References.