Tahap 1. Misalkan \(C\) tertutup; maka \(\Z\setminus C\) terbuka.

Tahap 2. Pisahkan kasus \(\Z\setminus C=\emptyset\) dari kasus komplemennya tak kosong.

Tahap 3. Pada kasus kedua, terapkan definisi topologi komplemen berhingga kepada \(\Z\setminus C\text{.}\)