Misalkan \(A\subseteq X\text{.}\) Nyatakan apa yang harus dibuktikan agar \(\overline{A}\) merupakan subhimpunan tertutup terkecil dari \(X\) yang memuat \(A\text{.}\) Rubrik: pisahkan ketertutupan dan keanggotaan \(A\) yang sudah diketahui dari syarat minimal terhadap setiap pesaing tertutup.