Jede offene Überdeckung von $M$ enthält eine endliche Teilüberdeckung von $M$ (d.h., ist $\mathcal{U}$ eine offene Überdeckung von $M$, dann existiert ein endliches Teilsystem ${\mathcal{U}}_0:=\left\{U_1,\dots ,U_n\right\}\subseteq \mathcal{U}$ so daß schon ${\mathcal{U}}_0$ die Menge $M$ überdeckt).

$M=IM$ ist kompakt.