Tahap 1. Karena \(Y\) berhingga, periksa keempat anggota \(\tau_Y\) satu per satu.

Tahap 2. Hitung khususnya \(f^{-1}(\{a\})\) dan \(f^{-1}(\{a,c\})\text{.}\)

Tahap 3. Pastikan seluruh prapeta yang diperoleh merupakan anggota \(\tau_X\text{.}\)