A topologia $X$ tem bases locais enumeráveis, pois existe bases enumeráveis (
Demonstração
).