Andaikan \(C'\subseteq C\text{.}\) Pada langkah pertama pembuktian bahwa \(C\) tertutup, nyatakan apa yang cukup ditunjukkan menurut definisi himpunan tertutup. Rubrik: identifikasi komplemen \(C\) di dalam \(X\) dan sifat topologis yang harus dimilikinya.