theorem Th31: :: WAYBEL26:31

for X, Y being non empty TopSpace
for M being non empty set
for f being continuous Function of X,(M -TOP_prod (M --> Y)) holds commute f is Function of M, the carrier of (oContMaps (X,Y))