theorem :: ISOMICHI:3

for T being TopSpace
for A being Subset of T st A is closed holds
A is supercondensed ;