Untuk satu arah, andaikan ada himpunan terbuka tak kosong yang tidak bertemu \(A\text{.}\) Untuk arah lain, uji setiap lingkungan dari titik sebarang \(x\in X\text{.}\)