Eine Teilmenge M ⊆ K {\displaystyle {}M\subseteq K} eines angeordneten Körper K {\displaystyle {}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.
