for f being Function holds
( f is complex-valued iff for x being object holds f . x is complex )