Benar. Himpunan dasarnya adalah koleksi kelas \([x]\text{,}\) dan \(U\) didefinisikan terbuka tepat ketika \(q^{-1}(U)\) terbuka dalam \(X\text{.}\)