Tahap 1. Periksa hanya dua himpunan terbuka pada kodomain indiskret.

Tahap 2. Hubungkan kekontinuan \(f^{-1}\) dengan prapeta di bawah \(f^{-1}\text{.}\)

Tahap 3. Untuk bijeksi, citra komplemen adalah komplemen citra.