as a pointwise limit ([1]}).
The map \(f\)  is called holomorphic if it is \(C^1\) 
and for each \(x \in U\)  the
map \({\tt d}f(x) \colon  E \rightarrow F\)  is complex linear (cf. [2]}).
If \(F\)  is sequentially complete, then \(f\)  is holomorphic if and only if
it is complex analytic (cf. [3]}, [1]}).
