f\colon S\subseteq\mathbb{N}\to\mathbb{N}