En teoría de números, una función aritmética es una función real o compleja ƒ(n), definida en el conjunto de los números naturales, que «expresa alguna propiedad aritmética en función de n».
[1] Una función aritmética a es Dos números enteros m y n son coprimos si su máximo común divisor es 1; es decir, si no existe un número primo que los divida a ambos.
Así, una función aritmética a es