Pemeriksaan O.11. Membuktikan Basis bagi Topologi Subruang.
Misalkan \((X,\tau)\) suatu ruang topologi dengan basis \(\B\text{,}\) dan misalkan \(A\) suatu subruang dari \(X\text{.}\) Untuk
\begin{equation*}
\B_A=\{B\cap A\mid B\in\B\},
\end{equation*}
buktikan bahwa \(\B_A\) merupakan basis bagi topologi terinduksi \(\tau_A\) pada \(A\text{.}\)