Dalam tugas pembuktian ulang, jika \(F\) tertutup dan \(A\subseteq F\text{,}\) buktikan \(\overline A\subseteq F\text{.}\) Selanjutnya buktikan bahwa \(\overline A\) adalah irisan semua himpunan tertutup semacam itu dan karenanya tertutup. Rubrik. Bukti harus mencakup minimalitas, kesamaan dengan irisan, dan alasan tersendiri bahwa irisan tersebut tertutup.