Tahap 1. Ambil sembarang \(S\subseteq A\text{.}\)

Tahap 2. Himpunan \(A\setminus S\) berhingga; pertimbangkan himpunan ambien \(O=\Z\setminus(A\setminus S)\text{.}\)

Tahap 3. Hitung \(A\cap O\) dan simpulkan apakah setiap subhimpunan \(S\) terbuka relatif.