Tahap 1. Topologi yang diinduksi oleh \(d_E\) pada \(\Z\) adalah topologi diskret.

Tahap 2. Untuk setiap \(O\in\tau_{FC}\text{,}\) gunakan sifat fungsi identitas untuk menghitung \(f^{-1}(O)\text{.}\)

Tahap 3. Tanyakan apakah subhimpunan hasil prapeta selalu terbuka dalam domain diskret.