Tahap 1: substitusikan \(O=\bigcup_{\beta\in J}B_\beta\text{.}\) Tahap 2: ubah prapeta gabungan menjadi gabungan prapeta dan klasifikasikan setiap sukunya.