:: deftheorem defines ind TOPDIM_1:def 7 :
for T being TopSpace holds ind T = ind ([#] T);