في نظرية الأعداد، نقول عن دالة حسابية
f
(
n
)
{\displaystyle f(n)}
أنها دالة جمع لمتغيرين صحيحين موجبين أو أكثر إذا تحقق ما يلي:
لكل عددين
a
{\displaystyle a}
و
b
{\displaystyle b}
أوليين فيما بينهما، لدينا:
f
(
a
b
)
=
f
(
a
)
+
f
(
b
)
{\displaystyle f(ab)=f(a)+f(b)}
.