MDLUL/vollständig (ang)

Start=vollständig (ang)

MDLUL/vollständig (ang)

Ziel=Vollständig angeordneter Körper/Definition