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

theorem  :: Remark 2
  A is condensed iff A is subcondensed & A is supercondensed;
