A function $f:X \to Y$ is **additive** if it "distributes over [[group|addition]]", i.e. for all $u, v \in X$, $f(u+v) = f(u) + f(v)$ ie a [[group homomorphism]] between additive [[group]]s; note that this must preserve the additive identity.