theorem Th14: :: WAYBEL26:14

for X, Y, Z being non empty TopSpace
for f being continuous Function of Y,Z
for x being Element of Y
for A being Subset of (oContMaps (Z,X)) holds pi (((oContMaps (f,X)) .: A),x) = pi (A,(f . x))