$f:\mathrm{mathbb}{N}_1\to \mathrm{mathbb}{N}_1$