reserve T for TopSpace,
  A, B for Subset of T;

theorem :: Remark 1
  A is closed implies A is supercondensed;
