Misalkan \((X,\tau_X)\) suatu ruang topologi, \(p:X\to Y\) suatu surjeksi, dan \(\tau_Y=\{U\subseteq Y\mid p^{-1}(U)\in\tau_X\}\text{.}\) Jika \(J\) berhingga dan \(U_\beta\in\tau_Y\) untuk setiap \(\beta\in J\text{,}\) buktikan bahwa \(\bigcap_{\beta\in J}U_\beta\in\tau_Y\text{.}\)