Angeordneter Körper/Teilmenge/Supremum/Definition

Supremum

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