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