1: \begin{definition}

2: For a $\ZZ$-regular map $\pi\co\nn^+(A)\to\nn^+(B)$, the map $\widehat{\pi}\co \U_A^{ma+}(k)\to\U_B^{ma+}(k)$ provided by Theorem~\ref{thm:basic_functoriality} is unique if we in addition require that for any homogeneous $x\in\nn_{\ZZ}^+(A)$, the choice of exponential sequence for $\pi(x)$ for which (\ref{eqn:basic_exp}) holds is given by (\ref{eqn:piES}).

3: In this case, we call $\widehat{\pi}$ the {\bf exponential} of $\pi$.

4: \end{definition}