===== Espaço topológico =====

Dizemos que $(X, \tau)$ é um espaço topológico se $X$ é um conjunto e $\tau$ é uma família de subconjuntos de $X$ satisfazendo:

  * $X, \emptyset \in \tau$;
  * se $A, B \in \tau$, então $A \cap B \in \tau$;
  * se $\mathcal A \subset \tau$, então $\bigcup_{A \in \mathcal A} A \in \tau$.

Neste caso, cada elemento de $\tau$ é chamado de **aberto** e $\tau$ é dita uma **topologia** sobre $X$.

==== Veja também ====
  * [[topologia:subespaco|Subespaço]]
  * [[topologia:espacoMetrico|Espaço métrico]]