Karena \(p^{-1}(\emptyset)=\emptyset\in\tau_X\) dan, oleh surjektivitas, \(p^{-1}(Y)=X\in\tau_X\text{,}\) berlaku \(\emptyset,Y\in\tau_Y\text{.}\)