Himpunan \(O_x=\bigcap_{i=1}^nO_{xa_i}\) terbuka, memuat \(x\text{,}\) dan tidak beririsan dengan \(A\text{.}\) Jadi \(X\setminus A\) terbuka dan \(A\) tertutup.