theorem Th19: :: TOPDIM_1:19

for T being TopSpace
for A being Subset of T
for Af being finite-ind Subset of T st A c= Af holds
( A is finite-ind & ind A <= ind Af )