theorem Th39: :: ISOMICHI:39

for T being TopSpace
for A being Subset of T holds
( A is 2nd_class iff A ` is 2nd_class )