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 \(\{U_\beta\}_{\beta\in J}\) suatu keluarga anggota \(\tau_Y\text{,}\) buktikan bahwa \(\bigcup_{\beta\in J}U_\beta\in\tau_Y\text{.}\)