Функция по определению - это однозначное соответствие между двумя наборами чисел.
То есть из одного числа в результате действия функции получается одно другое число.
Сумма цифр числа - это функция, потому что из любого числа получается одно определенное число (а не несколько, в зависимости от условий).
Область ее значений - это N, то есть натуральные числа.