:: deftheorem Def39 defines [#] VALUED_2:def 39 :
for Y being complex-functions-membered set
for f being b₁ -valued Function
for c being Complex
for b₄ being Function holds
( b₄ = f [#] c iff ( dom b₄ = dom f & ( for x being object st x in dom b₄ holds
b₄ . x = c (#) (f . x) ) ) );