Todo espaço metrizável possui bases localmente enumeráveis, [[topologia:exemplo:stonecechnfirstcountable|mas este não é o caso de $\beta\mathbb{N}$.]]