Angeordneter Körper/Teilmenge/Supremum/Definition

Supremum

Es sei  $M\subseteq K$  eine Teilmenge eines angeordneten Körpers $K$. Eine obere Schranke $T$ von $M$ heißt das Supremum von $M$, wenn  $T\le S$  für alle oberen Schranken $S$ von $M$ gilt.