Ein Element S ∈ K {\displaystyle {}S\in K} heißt eine obere Schranke für M {\displaystyle {}M} , wenn x ≤ S {\displaystyle {}x\leq S} für alle x ∈ M {\displaystyle {}x\in M} gilt.
