Start=kompakten (R)

MDLUL/kompakten (R)

Siehe=kompakt (R)
MDLUL/kompakt (R)
Ziel=Reelle_Zahlen/Kompaktes_Intervall/Definition