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

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;
