Tahap 1. Ambil subruang tertutup \(C\subseteq X\) dan selimut buka subruang sebarang \(\{W_\alpha\}\) bagi \(C\text{.}\)

Tahap 2. Tulis \(W_\alpha=C\cap U_\alpha\) untuk suatu \(U_\alpha\) yang terbuka dalam \(X\text{,}\) lalu tambahkan \(X\setminus C\text{.}\)

Tahap 3. Gunakan kekompakan \(X\) dan buang anggota \(X\setminus C\) dari subselimut berhingga yang diperoleh.