theorem Th46: :: TOPGEN_1:46

for T being countable TopSpace holds T is separable