Die Teilmenge M ⊆ K {\displaystyle {}M\subseteq K} heißt nach oben beschränkt, wenn es ein S ∈ K {\displaystyle {}S\in K} mit x ≤ S {\displaystyle {}x\leq S} für alle x ∈ M {\displaystyle {}x\in M} gibt.