Mantido pelo grupo "Topologia do Interior"
Olhe o roteiro para $\omega_1$. Tente usar como $I$ um subconjunto de $A$.