Start=normaler Raum

MDLUL/normaler Raum

Ziel=Topologischer Raum/Normal/Definition