Что означает f:N -> N?

Question

[Toast]

В статье на википедии Вычислимая функция написано "это множество функций вида f:N -> N", что означает что то типа функция f с областью определения N и областью значений N ? Или что, не могу до конца вникнуть в статью, просьба помочь.

Comments

[Зелимхан Бельтоев]

Не математик, но вроде очевидно, что принимает натуральное и результатом возвращает натуральное