Start=kompakt (R)

MDLUL/kompakt (R)

Ziel=Reelle_Zahlen/Kompaktes_Intervall/Definition