Tahap 1. Gunakan definisi kekompakan untuk \(C\text{.}\)

Tahap 2. Ambil selimut buka sebarang \(\{U_\alpha\}_{\alpha\in I}\) bagi \(C\text{.}\)

Tahap 3. Sasaran akhirnya adalah memilih sejumlah berhingga anggota keluarga itu yang masih menyelimuti \(C\text{.}\)