Seja $(X,\tau)$ um espaço topológico que satisfaz o segundo axioma de enumerabilidade, isto é, existe $\mathcal{B}$ uma base enumerável para $X$. Fixe $\mathcal{B}$ tal base enumerável. Defina $\mathcal{B}_x = \{B \in \mathcal{B} : x \in B\}$. Note que tal conjunto é uma base local para cada $x \in X$, isto é, $X$ satisfaz o primeiro axioma da enumerabilidade.