La récursivité est le fait de décrire un processus en faisant appel à ce processus. Plus précisément, les cas compliqués du processus sont décrits à partir de cas plus simples, les cas les plus simples étant donnés explicitement.

En mathématiques, on décrit couramment des objets par récursivité (même si ce n'est qu'un cas particulier simple d'application du principe d'induction).

L'exemple classique d'une fonction définie récursivement est la factorielle n! :

0! = 1

n! = n · (n-1)!   pour tout entier naturel n > 0