theorem Th38: :: TOPDIM_1:38

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 for p being Point of TM
for U being open Subset of TM st p in U holds
ex W being open Subset of TM st
( p in W & W c= U & Null misses Fr W ) )