theorem :: TOPDIM_1:8

for T being TopSpace
for A being finite Subset of T holds ind A < card A