MDLUL/zugehörige Metrik (Norm)

Start=zugehörige Metrik (Norm)

MDLUL/zugehörige Metrik (Norm)

Ziel=Normierter Vektorraum/Metrik/Definition