Tahap 1. Untuk setiap \(\beta\text{,}\) terjemahkan \(U_\beta\in\tau_Y\) menjadi pernyataan tentang prapetanya.

Tahap 2. Gunakan identitas bahwa prapeta mempertahankan gabungan sebarang.

Tahap 3. Terapkan aksioma gabungan pada \(\tau_X\) dan kembali ke definisi \(\tau_Y\text{.}\)