Start=Supremum (ang)

MDLUL/Supremum (ang)

Ziel=Angeordneter Körper/Teilmenge/Supremum/Definition