Es sei K {\displaystyle {}K} ein angeordneter Körper und M ⊆ K {\displaystyle {}M\subseteq K} eine Teilmenge, die ein Supremum T {\displaystyle {}T} besitze. Zeige, dass T {\displaystyle {}T} genau dann das Maximum von M {\displaystyle {}M} ist, wenn T ∈ M {\displaystyle {}T\in M} ist.
