Como $(X, \tau)$ possui base local enumerável, sendo $X$ enumerável, implica que $(X, \tau)$ possui base enumerável.