Tahap 1. Buktikan bahwa \(f\) memetakan setiap himpunan tertutup dalam \(X\) ke himpunan tertutup dalam \(Y\text{.}\)

Tahap 2. Gunakan bijektivitas untuk menafsirkan \(f(C)\) sebagai prapeta \(C\) di bawah \(f^{-1}\text{.}\)