# Tag Info

If $U$ is a subset of $\mathbb{C}$, $f$ is analytic at $x_0$ if there exists a series $$\sum_{j=0}^\infty a_j (z-z_0)^j$$ that converges to $f$ at a neighbourhood of $z_0$. In complex analysis, analyticity is equivalent to homomorphy.