Dalam ruang topologi \(X\text{,}\) buktikan langsung dari hukum De Morgan bahwa irisan sebarang himpunan tertutup dan gabungan berhingga himpunan tertutup bersifat tertutup. Kemudian, dalam \(\R\) dengan topologi Euklides, gunakan \(C_n=\{1/n\}\) untuk menunjukkan bahwa gabungan terhitung himpunan tertutup tidak harus tertutup.