theorem Th9: :: ISOMICHI:9

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