Med $g(0) = 1$ og $g(n + 1) = g(n) + 2$ for $n \in \mathbb{N}$ får vi blant annet
$g(1) = g(0) + 2 = 1 + 2 = 3 = f(1)$
$g(2) = g(1) + 2 = 3 + 2 = 5 = f(2)$
$g(3) = g(2) + 2 = 5 + 2 = 7 = f(3)$
Hvilken av disse gir en rekursiv definisjon av funksjonen $f(x) = 2x + 1$ for $x \in \mathbb{N}$, en funksjon som har de naturlige tallene som definisjonsområde og de positive oddetallene som bildemengde?