Buktikan bahwa \(\overline A\) adalah irisan semua himpunan tertutup yang memuat \(A\text{.}\) Rubrik. Tunjukkan bahwa tutupan itu sendiri merupakan superset tertutup dan bahwa ia termuat dalam setiap superset tertutup lain.