theorem :: TOPDIM_1:10

for T being TopSpace
for G being Subset-Family of T holds
( ( ind G = - 1 & G is finite-ind ) iff G c= {({} T)} )