for T being TopSpace
for Af being finite-ind Subset of T holds
( ind Af = - 1 iff Af is empty )