for T being non empty TopSpace
for x being Point of T
for B being Basis of x holds B <> {}