Angeordneter Körper/Teilmenge/Infimum/Definition

Infimum

Es sei  $M\subseteq K$  eine Teilmenge eines angeordneten Körpers $K$. Eine untere Schranke $t$ von $M$ heißt das Infimum von $M$, wenn  $t\ge s$  für alle unteren Schranken $s$ von $M$ gilt.