Tahap 1. Verifikasikan bahwa \(\emptyset\) dan \(\Z\) berada dalam \(\tau\text{.}\)

Tahap 2. Dalam gabungan sebarang anggota \(\tau\text{,}\) pisahkan kasus ketika salah satu anggotanya adalah \(\Z\text{.}\)

Tahap 3. Gunakan pembagian kasus yang sama untuk irisan berhingga.