En
mathématiques on parle de
définition par récurrence pour une
suite, c'est-à-dire une
fonction définie sur les
entiers et à valeurs dans un ensemble donné. Une fonction est définie par récurrence quand, pour définir la valeur de la fonction en un entier donné, on utilise les valeurs de cette même fonction pour des entiers strictement inférieurs. À la différence d'une
définition usuelle, qui peut être vue comme une simple abréviation, une définition par récurrence utilise le nom de l'objet défini (la fonction en l'occurrence) dans la définition même.