Jabarkan , dari Ruang kompak

akan ada subhimpunan terhingga  dari  sedemikian rupa sehingga

Subhimpunan  dari ruang topologis  dikatakan kompak jika subhimpunan itu kompak sebagai subruang (dalam subruang topologi). Ini mengartikan bahwa  adalah kompak jika untuk setiap koleksi sebarang  dari subhimpunan terbuka dari  sehingga