1: \begin{definition}\label{substlaw}For any map  $\alpha: \C \rightarrow D(\N)$ Theorem \ref{universalD-alg} implies that there a unique D-algebra homomorphism $\alpha\ast:\N\rightarrow \N$ such that $\alpha(c) = \alpha\ast c$ for all $c\in \C$. This homomorphism is called $\alpha$-substitution.

2: 

3: \vspace{-0.3cm}

4: \begin{diagram}[labelstyle=\scriptstyle]

5: \C &\rInto& \N\\

6: \dTo^{\alpha} && \dTo_{\alpha\ast} \\

7: D(\N) &\rInto& \N

8: \end{diagram}

9: \end{definition}

10: