Tahap 1. Nyatakan \(\emptyset\) dan \(A\) sebagai irisan \(A\) dengan anggota \(\tau\text{.}\)

Tahap 2. Untuk \(U_i=A\cap O_i\text{,}\) distribusikan \(A\) terhadap gabungan \(\bigcup_i O_i\text{.}\)

Tahap 3. Lakukan hal serupa untuk irisan berhingga dan gunakan aksioma topologi pada \(\tau\text{.}\)