$\mathbb{N}^{\mathbb{N}}$ possui bases locais enumeráveis
Basta lembrarmos que axiomas de enumerabilidade são preservados por produto, e $\mathbb{N}$ satisfaz o segundo axioma — implicando os outros dois.
topologia:exemplo:n_nbaselocenum
Basta lembrarmos que axiomas de enumerabilidade são preservados por produto, e $\mathbb{N}$ satisfaz o segundo axioma — implicando os outros dois.