Misalkan \((X,\tau)\) suatu ruang topologi dan \(O\subseteq X\text{.}\) Andaikan \(O\) merupakan lingkungan dari setiap titiknya. Apa yang perlu dilakukan untuk menunjukkan bahwa \(O\) merupakan himpunan terbuka?