Jika \(p:(X,\tau)\to(Y,\sigma')\) kontinu, maka setiap \(U\in\sigma'\) mempunyai prapeta terbuka di \(X\text{,}\) sehingga \(U\in\sigma\text{.}\) Jadi \(\sigma'\subseteq\sigma\text{.}\)