theorem Th42: :: TOPGEN_1:42

for T being TopSpace holds {} T is perfect