Dada qualquer base enumerável $\mathcal{B}$ de $X$, a coleção $\mathcal{B'}$ de todas as interseções de $B \cap Y$, $B \in \mathcal{B}$, é uma base enumerável de $Y$. De fato, sejam $A'\in \tau_Y$ e $x \in A'$. Existe $A \in \tau$ tal que $A'=A \cap Y$, por definição. Logo, $x \in A$. Como $\mathcal{B}$ é uma base de $X$, existe $B \in \mathcal{B}$ tal que $x \in B \subset A$. Então, $x \in B \cap Y \subset A \cap Y$. Assim, $Y$ tem base enumerável.