\begin{definition}[Definition:Holomorphic Function/Complex Plane]
Let $U\subset\C$ be an open set.
Let $f : U \to \C$ be a complex function.
Then $f$ is '''holomorphic in $U$''' {{iff}} $f$ is differentiable at each point of $U$.
Category:Definitions/Complex Analysis
\end{definition}