Mathématiques, informatique, politique et poésie
Soit \((E,T)\) un Espace topologique.
Si \(A \in T\), \(E\backslash A\) est un fermé.
\(E\) et \(\varnothing\) sont des fermés. Toute intersection de fermés est fermée, toute union finie de fermés est fermée.