Karena \(U_x\) adalah irisan semua himpunan buka yang memuat \(x\text{,}\) setiap titik \(y\in U_x\) juga berada dalam \(O\text{.}\)