theorem Th40: :: ISOMICHI:40

for T being TopSpace
for A being Subset of T holds
( A is 3rd_class iff A ` is 3rd_class )