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