:: deftheorem defines anti-discrete TEX_4:def 13 :
for X being non empty TopSpace
for A being Subset of X holds
( A is anti-discrete iff for x being Point of X st x in A holds
Cl A = Cl {x} );