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\leq S$ für alle oberen Schranken ${}S$ von ${}M$ gilt.