Como $(X, \tau)$ admite base enumerável então é separável.