MDLUL/vollständiger Körper

Start=vollständiger Körper

MDLUL/vollständiger Körper

Ziel=Vollständig angeordneter Körper/Definition