Conjunto fechado
Seja $(X,\tau)$ um espaço topológico. Dizemos que $F \subset X$ é um conjunto fechado se $X \setminus F$ é aberto.
Exemplos:
Considerando o espaço topológico $(\mathbb{R},\tau)$
- $\mathbb{N}$, tomemos $\mathbb{N}^c = \mathbb{R} \setminus \mathbb{N}$, tomando qualquer intervalo $]a,b[$, com $a,b \in \mathbb{N}$, temos um conjunto aberto, e já que união enumerável de abertos é aberto, temos que $\mathbb{N}^c$ é aberto;
- O mesmo vale para $\mathbb{Z}$.