für eine gegebene Funktion f eine Beziehung zwischen den Werten f(x+y), f(x), und f(y), die es erlaubt, den erstgenannten durch die beiden anderen explizit auszudrücken.

Ist insbesondere diese Beziehung eine algebraische Gleichung, so spricht man von einem algebraischen Additionstheorem.