A complex-valued function f defined on an open subset (see open set) U⊆ℂ is said to be holomorphic if it is differentiable in the sense that the limit

exists for all z in U. Unlike with real differentiable functions, a holomorphic function is then infinitely differentiable and in fact analytic. See complex analysis, Cauchy-Riemann equations, Liouville’s Theorem.