Start=kompakten (K)

MDLUL/kompakten (K)

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