for T being non empty discrete TopSpace holds
( T is separable iff T is countable )