Es sei M ⊆ K {\displaystyle {}M\subseteq K} eine Teilmenge eines angeordneten Körpers K {\displaystyle {}K} . Ein Element s ∈ K {\displaystyle {}s\in K} mit x ≥ s {\displaystyle {}x\geq s} für alle x ∈ M {\displaystyle {}x\in M} heißt untere Schranke für M {\displaystyle {}M} .
