theorem Th38: :: ISOMICHI:38
for T being TopSpace
for A being Subset of T holds
( A is 1st_class iff A ` is 1st_class )