Start=Halbnorm

MDLUL/Halbnorm

Ziel=Vektorraum/K/Halbnorm/Definition