for T being TopSpace
for A, B being Subset of T
for F being Subset of (T | A) st F = B & B is finite-ind holds
( F is finite-ind & ind F = ind B )