Как называется свойство функции или тип функций, например показательной a^x, когда по сумме различных значений этой функции от неповторяющихся аргументов, можно однозначно определить Каие значения в эту сумму входили?
Например, 48=16+32, и другими значениями 2^x, где x не будет повторяться, 48 не получить.
Полагаю, у такого свойства имени нет. Более того, если говорить о показательной функции, то она не обладает таким свойством: например 48 == 2^(log2(48)) помимо того что вы уже сказали.
Для этого вашего свойства, любому ли числу соответствует какая-то сумма? Если так, ну и дополнительно ограничить аргументы функции счетным множеством (скажем, натуральными числами), то можно провести аналогию между такими функциями и системами счисления.