Selain mengetahui bahwa \(\overline{A}\) tertutup dan memuat \(A\text{,}\) harus dibuktikan bahwa untuk setiap himpunan tertutup \(C\) yang memuat \(A\text{,}\) berlaku \(\overline{A}\subseteq C\text{.}\)