Angeordneter Körper/Minimum/Definitionskern

Ein Element heißt das Minimum von , wenn für alle gilt.