Tahap 1: \(X\setminus X\) tidak mempunyai anggota. Tahap 2: syarat keterbukaan yang dikuantifikasi atas semua anggota berlaku secara hampa bagi himpunan tanpa anggota.