theorem :: TMAP_1:52

for X, Y, Z being non empty TopSpace st the carrier of X = the carrier of Y & the topology of Y c= the topology of X holds
for f being continuous Function of Y,Z holds f is continuous Function of X,Z