Himpunan terbuka dalam \(A\) berbentuk \(O\cap A\) untuk suatu \(O\) terbuka di \(X\text{.}\) Dari lingkungan yang tidak harus terbuka, ambil himpunan terbuka yang termuat di dalamnya.