reserve T for non empty TopSpace,
  X,Z for Subset of T;

theorem Th3:
  X is open closed implies X in OpenClosedSet(T);
