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

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