for X being non empty TopSpace st ( for A being Subset of X holds Cl A = A ) holds
X is discrete