reserve X for non empty TopSpace,
  D for Subset of X;

theorem Th9:
  for X being anti-discrete non empty TopSpace for A being Subset
of X holds (A is empty implies Cl A = {}) & (A is non empty implies Cl A = the
  carrier of X)
by PCOMPS_1:2,TDLAT_3:19;
