Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo-diferenciables en cada punto. Esta condición es mucho más fuerte que la diferenciabilidad en caso real e implica que la función es infinitamente diferenciable y que puede ser descrita mediante su serie de Taylor.