Ruang topologi

Menggunakan hukum de Morgan, aksioma-aksioma di atas yang menggunakan himpunan terbuka dapat diubah menjadi aksioma-aksioma menggunakan himpunan tertutup:Menggunakan aksioma-aksioma ini topologi pada "X" ditentukan oleh koleksi "formula_1" keluarga subhimpunan tertutup dari "X" dengan komplemennya adalah himpunan terbuka.