Benar. Pada arah yang tidak langsung, \(A=O\cap U\) merupakan irisan dua himpunan terbuka dalam \(X\text{;}\) arah sebaliknya langsung dari definisi topologi subruang.