:: deftheorem defines complex-functions-valued VALUED_2:def 26 :
for f being Function holds
( f is complex-functions-valued iff for x being object st x in dom f holds
f . x is complex-valued Function );