Start=Infimum (ang)

MDLUL/Infimum (ang)

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