Start=kompaktes (Rn)

MDLUL/kompaktes (Rn)

Siehe=Kompakt (Rn)
MDLUL/Kompakt (Rn)
Ziel=Kompaktheit/R^n/Abgeschlossen und beschränkt/Definition