Como $(X, \tau)$ [[topologia:exemplo:espseqlocenum|possui base local enumerável]], sendo $X$ enumerável, implica que $(X, \tau)$ possui base enumerável.