Lengkapilah pembuktian bahwa jika \(C\) adalah subhimpunan tertutup dari \(X\) yang memuat \(A\text{,}\) maka \(\overline{A}\subseteq C\text{.}\) Sertakan kaitannya dengan pernyataan bahwa \(\overline{A}\) merupakan himpunan tertutup terkecil yang memuat \(A\text{.}\)