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