:: deftheorem Def3 defines oContMaps WAYBEL26:def 3 :
for X, Y, Z being non empty TopSpace
for f being continuous Function of Y,Z
for b₅ being Function of (oContMaps (Z,X)),(oContMaps (Y,X)) holds
( b₅ = oContMaps (f,X) iff for g being continuous Function of Z,X holds b₅ . g = g * f );