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