f:{\mathbb{N}_{1}}\to{\mathbb{N}_{1}}