theorem
  for X being discrete non empty TopSpace for A being Subset of X holds
  Cl A = A & Int A = A
by TDLAT_3:16,TDLAT_3:15,PRE_TOPC:22,TOPS_1:23;
