Topologi kuosien adalah \(\tau_p=\{U\subseteq Y:p^{-1}(U)\text{ terbuka dalam }X\}\text{.}\) Definisi ini membuat \(p\) kontinu. Jika \(\sigma\) topologi lain pada \(Y\) dan \(p:(X,\tau)\to(Y,\sigma)\) kontinu, maka untuk setiap \(U\in\sigma\text{,}\) himpunan \(p^{-1}(U)\) terbuka dalam \(X\text{.}\) Jadi \(U\in\tau_p\text{,}\) sehingga \(\sigma\subseteq\tau_p\text{.}\) Pernyataan itu benar.