Tahap 1. Gunakan irisan berhingga \(O_x=\bigcap_{i=1}^nO_{xa_i}\text{.}\)

Tahap 2. Untuk \(y\in A\text{,}\) pilih \(i\) dengan \(y\in O_{a_i}\) dan gunakan \(O_{xa_i}\cap O_{a_i}=\emptyset\text{.}\)

Tahap 3. Simpulkan bahwa setiap titik komplemen mempunyai lingkungan buka di dalam komplemen.