Angeordneter Körper/Teilmenge/Infimum/Definition

Infimum

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