:: deftheorem Def43 defines <#> VALUED_2:def 43 :
for Y being complex-functions-membered set
for f being b₁ -valued Function
for g being complex-valued Function
for b₄ being Function holds
( b₄ = f <#> g iff ( dom b₄ = (dom f) /\ (dom g) & ( for x being object st x in dom b₄ holds
b₄ . x = (f . x) (#) (g . x) ) ) );