theorem :: YELLOW14:19

for T being non empty TopSpace holds T, TopStruct(# the carrier of T, the topology of T #) are_homeomorphic