Angeordneter Körper/Teilmenge/Supremum/Definition/Begriff

Das Supremum einer nichtleeren Teilmenge ${}M\subseteq K$ in einem angeordneten Körper ${}K$.