Start=metrischer Raum

MDLUL/metrischer Raum

Ziel=Metrik/Metrischer Raum/Definition