Angeordneter Körper/Infimum/Definitionskern

Eine untere Schranke von heißt das Infimum von , wenn für alle unteren Schranken von gilt.