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