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

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