Ответ:

Каждому значению аргумента s соответствует единственное значение m, вычисляемое по формуле m = |s + 1|.

Ответ: Да.