\(U_x\) terbuka karena hanya merupakan irisan berhingga dari himpunan-himpunan terbuka dalam \(\tau\) yang memuat \(x\text{.}\)