Satz 6.22 (Überdeckungssatz von Heine-Borel) Es sei M IRn. Ist M beschränkt und abgeschlossen, und ist U eine offene Überdeckung von M, dann enthält U eine endliche Teilüberdeckung von M (d.h., M ist kompakt im Sinne der obigen Definition).