Seja $(X,\tau)$ um espaço topológico \(T_1\), então $x \in X$ é um ponto de acumulação de $A \subset X$ se, e somente se, para todo $V$ aberto tal que $x \in V$ temos que $V \cap A$ é infinito