theorem :: TOPGEN_4:57

for T being non empty TopSpace st T is second-countable holds
ex B being Basis of T st B is countable