\begin{definition}[Definition:Additive Arithmetic Function]
Let $f : \N \to \C$ be an arithmetic function.
Then $f$ is '''additive''' {{iff}}:
:$m \perp n \implies \map f {m n} = \map f m + \map f n$
\end{definition}