:: deftheorem Def7 defines " VALUED_1:def 7 :
for f, b₂ being complex-valued Function holds
( b₂ = f " iff ( dom b₂ = dom f & ( for c being object st c in dom b₂ holds
b₂ . c = (f . c) " ) ) );