Conjunto cerrados

Cerrado

Sea $(X,\mathcal{T})$ un espacio topológico. Un subconjunto $C\subset X$ se dice que es un conjunto cerrado si su complementario $X\setminus C$ es un conjunto abierto.

Topología con cerrados

Sea $(X,\mathcal{T})$ un espacio topológico.

1. $\varnothing$ y $X$ son cerrados.
2. La intersección arbitraria de conjuntos cerrados es un cerrado.
3. La unión finita de conjuntos cerrados es un cerrado.