Tahap 1. Untuk \(z\in\Z\text{,}\) pilih \(n\gt |z|\text{.}\) Untuk dua anggota basis, hitung \(I_m\cap I_n\text{.}\)

Tahap 2. Keluarga \(I_1\subset I_2\subset\cdots\) bersarang. Gabungan suatu subkeluarga yang indeksnya terbatas mempunyai indeks terbesar, sedangkan gabungan dengan indeks tak terbatas adalah seluruh \(\Z\text{.}\)