theorem :: TMAP_1:64

for X, Y, Z being non empty TopSpace
for X0 being non empty SubSpace of X
for g being continuous Function of Y,Z
for f being Function of X,Y st f | X0 is continuous Function of X0,Y holds
(g * f) | X0 is continuous Function of X0,Z by Th63;