:: deftheorem Def41 defines <+> VALUED_2:def 41 :
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) ) ) );