
$g: {\bf N}
  \rightarrow
  \bN$
