Para espaços metrizáveis ser separável e ter base enumerável são equivalentes como mostra a proposição.
Se $(X,d)$ é um espaço métrico separável, então $(X,d)$ satisfaz o segundo axioma de enumerabilidade. Demonstração