Himpunan kosong kompak karena subkeluarga kosong merupakan subselimut berhingga bagi setiap selimutnya. Sekarang ambil \(A\subseteq X\) tak kosong dan suatu selimut buka \(\mathcal U\) bagi \(A\text{.}\) Dalam topologi indiskret, satu-satunya himpunan buka tak kosong adalah \(X\text{.}\) Karena selimut harus memuat setiap titik \(A\text{,}\) keluarga \(\mathcal U\) harus memuat \(X\text{.}\) Subkeluarga satu anggota \(\{X\}\) menyelimuti \(A\text{.}\) Jadi setiap subhimpunan \(X\) kompak.