Como $(X, \tau)$ é regular e enumerável segue que $(X, \tau)$ é normal, pois [[topologia:reg.enum_norm | todo espaço regular enumerável é normal]].