Seja $x=(x_n)_{n \in \mathbb{N}} \in \prod_{n \in \mathbb{N}} X_n$. Em cada ponto de $x_n$ temos uma base enumerável e vamos exibir uma base do mesmo tipo para o produto. Para cada $n \in \mathbb{N}$, seja $\mathcal{B}_n$ base enumerável de $X_n$ para cada $x_n$ s. Daí, a base para $x$ são os conjuntos da forma:

$$\{ \prod_{n \in \mathbb{N}} {B_n} : B_n \in \mathcal{B}_n, \{ m \in \mathbb{N} : B_m \neq X_m \} é finito \},$$ onde $\{ m \in \mathbb{N} : B_m \neq X_m \}$ é o suporte finito. A coleção de conjuntos dessa forma é enumerável, pois temos uma quantidade de suportes finitos e para cada coordenada temos uma base enumerável.

Agora queremos mostrar que é base. Considere $A=\prod_{n \in \mathbb{N}} A_n$ aberto básico tal que $x \in A$. Para cada $n \in \mathbb{N}$ tal que:

* $A_n \neq X_n$: seja $B_n \in \mathcal{B}_n$ de forma que $x_n \in B_n \subset A_n$.
* $A_n=X_n$: defina $B_n = X_n$.

Assim, $x \in \prod_{n \in \mathbb{N}} B_n \subset \prod_{n \in \mathbb{N}} A_n$ e portanto $\prod_{n \in \mathbb{N}} X_n$ satisfaz o segundo axioma de enumerabilidade.