:: deftheorem Def33 defines <-> VALUED_2:def 33 :
for f being complex-functions-valued Function
for b₂ being Function holds
( b₂ = <-> f iff ( dom b₂ = dom f & ( for x being object st x in dom b₂ holds
b₂ . x = - (f . x) ) ) );