Tahap 1. Ruang bersifat \(T_1\) jika setiap himpunan beranggota tunggal tertutup.

Tahap 2. Dua himpunan terbuka tak kosong dalam topologi komplemen berhingga tidak dapat saling lepas.

Tahap 3. Uji konvergensi barisan yang semua sukunya sama dengan \(x\) terhadap lingkungan titik \(y\neq x\) yang tidak memuat \(x\text{.}\)