Itu merupakan syarat pertama dalam definisi batas bawah terbesar: untuk setiap \(s\in S\text{,}\) berlaku \(m\leq s\) dan \(m'\leq s\text{.}\)