Seja $(X,\tau)$ um espaço topológico, dizemos que $x \in X$ é um ponto de acumulação de $A \subset X$ se $x \in \overline{A \setminus \{x\}}$.
Outra forma de se enxergar, é :
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 Solução.
Seja $(X,\tau)$ um espaço topológico compacto, então todo subconjunto infinito admite ponto de acumulaçãoSolução.
Seja $(X,\tau)$ um espaço topológico, dizemos que $x \in X$ é um ponto de acumulação completo de $A \subset X$ se, para todo $V$ aberto tal que $x \in V$, temos que $|V\cap A|=|A|$.
Dizemos que uma ordem $\leq$ é uma boa ordem se todo subconjunto não vazio admite mínimo.\
Seja $(X,\tau)$ um espaço topológico compacto, então todo subconjunto infinito de $X$ admite um ponto de acumulação completoSolução.
Seja $(X,\tau)$ um espaço topológico tal que todo subconjunto infinito admite ponto de acumulação completo, então $X$ é compactoSolução.