Sea X sea contable y TB ( todo subconjunto compacto es cerrado).
Sea D⊆X sea un subconjunto infinito de X y todo subconjunto infinito de D tiene infinitos puntos de acumulación en X .
Supongamos que n0∈ω sea el menor número entero s.t xn0 es un punto de acumulación en D .
Así que..,
Si V es un barrio en xn0 y D−V es finito cada enumeración como {yn:n∈ω} de D convergen a xn0 ?