Ein Element s ∈ K {\displaystyle {}s\in K} heißt eine untere Schranke für M {\displaystyle {}M} , wenn x ≥ s {\displaystyle {}x\geq s} für alle x ∈ M {\displaystyle {}x\in M} gilt.
