Angeordneter Körper/Teilmenge/Supremum/Definition/Begriff/Inhalt

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.