
theorem Th6:
  for T being TopSpace, A, B being Subset of T, C, D being Subset
  of the TopStruct of T st A = C & B = D holds
  A,B are_separated iff C,D are_separated
by TOPS_3:80;
