theorem Th18: :: TOPDIM_1:18

for T being TopSpace
for A being Subset of T st T | A is finite-ind holds
A is finite-ind