Berdasarkan definisi lingkungan, karena \(O\) merupakan lingkungan \(a\text{,}\) ada himpunan terbuka \(U\) dengan \(a\in U\subseteq O\text{.}\) Ambil \(O_a=U\text{.}\)