Identitas yang benar adalah \(f^{-1}(O)=q^{-1}(\bar f^{-1}(O))\text{.}\) Karena \(q\) pemetaan kuosien, keterbukaan ruas kanan sebagai prapeta di \(X\) tepat menguji keterbukaan \(\bar f^{-1}(O)\) di \(X/\ssim\text{.}\)