theorem Th8: :: ISOMICHI:8

for T being TopSpace
for A being Subset of T holds
( A is supercondensed iff Int (Cl A) c= A )