Tahap 1. Periksa refleksivitas, simetri, dan transitivitas melalui kesamaan nilai \(p\text{.}\)

Tahap 2. Keterdefinisian \(h\) tepat memakai definisi \(\sim_p\text{.}\)

Tahap 3. Untuk \(U\subseteq Y\text{,}\) bandingkan \(q^{-1}(h^{-1}(U))\) dengan \(p^{-1}(U)\text{.}\)