Tahap 1. Andaikan \(f(X)\) mempunyai pemisahan \(P,Q\text{.}\)

Tahap 2. Tarik \(P\) dan \(Q\) kembali melalui pemetaan \(f:X\to f(X)\text{.}\)

Tahap 3. Ruang diskret dua titik dipisahkan oleh kedua singletonnya.