Lengkapi pembuktian bahwa \(\overline{A}\subseteq C\) untuk setiap subhimpunan tertutup \(C\) yang memuat \(A\text{,}\) lalu simpulkan sifat minimal \(\overline{A}\text{.}\) Rubrik: gabungkan dua inklusi bagian dari \(A\cup A'\) dan nyatakan kuantifikasi atas \(C\text{.}\)