MDLUL/kompakte Mengen (R^n)

Start=kompakte Mengen (R^n)

MDLUL/kompakte Mengen (R^n)

Ziel=Kompaktheit/R^n/Abgeschlossen und beschränkt/Definition