Misalkan \(X\) ruang topologi, \(O\) subhimpunan terbuka dari \(X\text{,}\) dan \(A\subseteq O\text{.}\) Buktikan bahwa \(A\) terbuka dalam subruang \(O\) jika dan hanya jika \(A\) terbuka dalam \(X\text{.}\)