Tahap 1. Untuk setiap \(i\text{,}\) gunakan sifat Hausdorff untuk memilih lingkungan terbuka \(U_i\) dari \(x\) yang tidak memuat \(x_i\text{.}\)

Tahap 2. Ambil irisan berhingga \(U=\bigcap_{i=1}^{n}U_i\text{.}\)

Tahap 3. Setelah setiap himpunan beranggota tunggal diketahui terbuka, tuliskan sebarang subhimpunan sebagai gabungannya.