for X being non empty TopSpace
for x being Point of X holds {x} is discrete