fonction partielle

En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé domaine de définition de la fonction partielle. Cette notion apparait en particulier en théorie de la calculabilité, qui s'intéresse aux fonctions partielles récursives : celles-ci sont définies sur une partie de N, l'ensemble des entiers naturels, ou plus généralement de Np, et l'ensemble de définition d'une fonction partielle récursive ne peut éventuellement pas se définir a priori, c'est-à-dire autrement qu'en indiquant que ce sont les entiers (ou tuples d'entiers) pour lesquels le calcul qui permet de définir la fonction aboutit.