Let $f : \N \to \C$ be an arithmetic function.
Then $f$ is additive if and only if:
$m \perp n \implies f \left({m n}\right) = f \left({m}\right) + f \left({n}\right)$