theorem Th10: :: TOPGEN_4:10

for T being non empty discrete TopSpace holds
( T is separable iff card ([#] T) c= omega )