Angeordneter Körper/Nach unten beschränkt/Definitionskern

${}M$ heißt nach unten beschränkt, wenn eine untere Schranke für ${}M$ existiert.