for T being TopSpace
for A being Subset of T st A is subcondensed holds
A ` is supercondensed