Himpunan \(O_A\) terbuka di \(A\text{.}\) Jadi, jika \(O_A=A\cap O_X\) untuk suatu \(O_X\) yang terbuka di \(X\text{,}\) maka \(O_A\) terbuka dalam topologi subruang \(A\text{.}\)