The idea of analytic (or, equivalently, holomorphic) function on an open set
U in the complex plane is central to complex function theory.
A function is analytic if it has a convergent local power series expansion.
Equivalent alternative definitions are that the function have a complex derivative
at each point, or that the function satisfy the Cauchy-Riemann equations.