18 lines
388 B
Markdown
18 lines
388 B
Markdown
---
|
|
up:
|
|
- "[[fonction partielle]]"
|
|
tags:
|
|
aliases:
|
|
---
|
|
|
|
> [!definition] [[fonction totale]]
|
|
> Une **fonction totale** est une [[fonction partielle]] qui est définie partout.
|
|
> Plus formellement :
|
|
> C'est une [[fonction partielle]] $(A, f) \in \mathscr{P}(\mathbb{N}^{p+1})\times \mathbb{N}^{\mathbb{N}^{p}}$ pour laquelle $A = \mathbb{N}^{p+1}$
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|