theorem Th39: :: TOPDIM_1:39

for TM being metrizable TopSpace
for Null being Subset of TM st TM | Null is second-countable holds
( ( Null is finite-ind & ind Null <= 0 ) iff ex B being Basis of TM st
for A being Subset of TM st A in B holds
Null misses Fr A )