Setiap superset tertutup \(F\) dari \(A\) memuat \(\overline A\text{.}\) Karena \(\overline A\) sendiri termasuk dalam keluarga itu, irisannya tepat \(\overline A\text{;}\) sebagai irisan himpunan-himpunan tertutup, tutupan tersebut tertutup.