for T being non empty TopSpace holds
( T is first-countable iff Chi T c= omega )