theorem Th41: :: TOPGEN_1:41

for T being TopSpace
for A being Subset of T holds
( A is perfect iff Der A = A )