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