theorem Th6: :: TOPDIM_1:6

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