Jika \(X\) bersifat \(T_1\text{,}\) untuk setiap \(y\neq x\) pilih himpunan terbuka yang memuat \(y\) tetapi tidak memuat \(x\text{,}\) lalu gabungkan semuanya.