Langkah 1. Ambil himpunan terbuka sebarang \(O\subseteq Y\) dan amati bahwa \(f^{-1}(O)\) hanyalah suatu subhimpunan dari \(X\text{.}\)

Langkah 2. Semua subhimpunan dari ruang diskret terbuka; masukkan fakta ini ke kriteria prapeta-terbuka.