theorem Th36: :: TEX_2:36

for X being non empty TopSpace
for A being Subset of X st A is discrete holds
for x being Point of X st x in A holds
A /\ (Cl {x}) = {x} by ZFMISC_1:31, Th35;