Consideremos $(X, \tau)$ um espaço topológico. Seja $(x_n)_{n \in \mathbb{N}}$ uma sequência de pontos de $X$. Dizemos que $(x_n)_{n \in \mathbb{N}}$ converge para $x \in X$ se, para todo aberto $V$ contendo $x$, existe $n_0 \in \mathbb{N}$ tal que $x_n \in V$, para todo $n \geq n_0$.