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