Jika \(Y\subseteq X\) dan \(U,V\) terbuka di \(X\text{,}\) maka \(U\cap Y\) dan \(V\cap Y\) terbuka dalam topologi subruang.