\begin{definition}[Definition:Lambert W Function]
Let $e^z: \C \to \C$ be the complex exponential function.
Then $\map W z$ is defined to be the multifunction that satisfies: 
:$\map W z e^{\map W z} = z$
{{wtd|the complex valued branches, the complex valued principal branch}}
\end{definition}