theorem Th19: :: TOPGRP_1:20

for T being TopStruct holds id T is being_homeomorphism by RELAT_1:45;