theorem Th29: :: TOPGRP_1:30

for T being TopStruct
for f being Homeomorphism of T holds f /" is Homeomorphism of T