:: deftheorem defines anti-discrete TEX_4:def 12 :
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
A c= Cl {x} );