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