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.