Lengkapi pembuktian: jika \(O\) merupakan lingkungan dari setiap titiknya dalam ruang topologi \((X,\tau)\text{,}\) maka \(O\) merupakan himpunan terbuka.