Langkah 1. Jika \(F\) tertutup dan \(A\subseteq F\text{,}\) maka \(\overline A\subseteq\overline F=F\text{.}\)

Langkah 2. Masukkan \(\overline A\) sendiri ke dalam keluarga semua superset tertutup \(A\text{,}\) lalu bandingkan kedua inklusi terhadap irisannya.