theorem :: TEX_1:18

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