for TM being metrizable TopSpace
for iC being infinite Cardinal holds
( weight TM c= iC iff for Am being Subset of TM st Am is discrete holds
card Am c= iC )