theorem :: TOPDIM_1:20

for Tf being finite-ind TopSpace
for A being Subset of Tf holds ind A <= ind Tf by Th19;