for T being TopSpace
for Af being finite-ind Subset of T holds - 1 <= ind Af