Eine nach unten beschränkte Teilmenge M ⊆ K {\displaystyle {}M\subseteq K} eines angeordneten Körper K {\displaystyle {}K} .