![ricorsività locale,ricorsività globale,sistemi di funzioni iterate](http://www.extrabyte.info/ricorsione_locale.gif)
L'esempio precedente suggerisce di introdurre la nozione di ricorsività locale, contrapposta alla ricorsività globale:
![ricorsività locale,ricorsività globale, sistemi di funzioni iterate](http://www.extrabyte.info/ricorsione_locale1.gif)
Più precisamente, l'intero naturale n è una funzione di x, per cui la ricorsione precedente si scrive:
![ricorsività locale,ricorsività globale, sistemi di funzioni iterate](http://www.extrabyte.info/ricorsione_locale2.gif)
Formalmente possiamo considerare la funzione reale f(x,n) definita in A: