Tahap 1. Hitung prapeta \(\emptyset\) dan \(X\) di bawah \(i\text{.}\)

Tahap 2. Gunakan bahwa prapeta mempertahankan gabungan sebarang dan irisan berhingga.

Tahap 3. Tuliskan \(i^{-1}(O)\) sebagai himpunan titik \(A\) yang juga berada dalam \(O\text{.}\)