Nyatakan tepat apa saja yang harus dibuktikan untuk menunjukkan bahwa \(\overline{A}\) adalah subhimpunan tertutup terkecil dari \(X\) yang memuat \(A\text{.}\)