Misalkan \((X,\tau_X)\) suatu ruang topologi, \(Y\) suatu himpunan, dan \(p:X\to Y\) suatu surjeksi. Definisikan \(\tau_Y=\{U\subseteq Y\mid p^{-1}(U)\in\tau_X\}\text{.}\) Setelah diketahui bahwa \(\emptyset,Y\in\tau_Y\text{,}\) bahwa \(\tau_Y\) tertutup terhadap gabungan sebarang, dan bahwa \(\tau_Y\) tertutup terhadap irisan berhingga, simpulkan apa yang dapat dikatakan tentang \(\tau_Y\text{.}\)