Pemeriksaan P.5. Dua Anggota Wajib Topologi Kuosien.
Misalkan \((X,\tau_X)\) suatu ruang topologi, \(Y\) suatu himpunan, dan \(p:X\to Y\) suatu surjeksi. Untuk
\begin{equation*}
\tau_Y=\{U\subseteq Y\mid p^{-1}(U)\in\tau_X\},
\end{equation*}
buktikan bahwa \(\emptyset\) dan \(Y\) merupakan anggota \(\tau_Y\text{.}\)