theorem Th19: :: TOPDIM_2:19

for T being TopSpace
for A being countable Subset of T st T | A is T_4 holds
( A is finite-ind & ind A <= 0 )