Die Teilmenge M ⊆ K {\displaystyle {}M\subseteq K} heißt nach unten beschränkt, wenn es ein s ∈ K {\displaystyle {}s\in K} mit x ≥ s {\displaystyle {}x\geq s} für alle x ∈ M {\displaystyle {}x\in M} gibt.