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

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