theorem Th17: :: METRIZTS:17

for TM being metrizable TopSpace
for Am being Subset of TM st Am is dense holds
weight TM c= omega *` (card Am)