
L'esempio precedente suggerisce di introdurre la nozione di ricorsività locale, contrapposta alla ricorsività globale:

Più precisamente, l'intero naturale n è una funzione di x, per cui la ricorsione precedente si scrive:

Formalmente possiamo considerare la funzione reale f(x,n) definita in A:
