reserve Y for TopStruct;
reserve X for non empty TopSpace;

theorem Th36:
  for A being Subset of X holds A is discrete implies for x being
  Point of X st x in A holds A /\ Cl {x} = {x}
by ZFMISC_1:31,Th35;
