Harus dibuktikan bahwa \(A\subseteq\overline{A}\text{,}\) \(\overline{A}\) tertutup, dan untuk setiap himpunan tertutup \(C\) dengan \(A\subseteq C\) berlaku \(\overline{A}\subseteq C\text{.}\)