Jika \(A\) terbuka dalam \(O\text{,}\) tuliskan \(A=O\cap U\) untuk suatu \(U\) yang terbuka dalam \(X\text{.}\) Gunakan bahwa \(O\) sendiri terbuka dalam \(X\text{.}\)