Tahap 1. Ganti jenis himpunan yang diuji dalam domain.

Tahap 2. Ganti pula sifat yang harus dimiliki citranya dalam kodomain.

Tahap 3. Tetap gunakan citra \(f(C)\text{,}\) bukan prapeta \(f^{-1}(C)\text{.}\)