device-56.home 2026-3-24:18:54:26

fonction partielle.md

@@ -26,8 +26,9 @@ aliases:
 
 > [!definition] Composée
 > Soient $f_1, f_2, \dots, f_{n} \in \mathscr{F}_{p}$ et $g \in \mathscr{F}_{n}$ 
-> La **fonction composée** $h = g(f_1, f_2, \dots, f_{n})$ 
->  - 
+> La **fonction composée** $h = g(f_1, f_2, \dots, f_{n})$ est l'élément de $\mathscr{F}^{*}_{p}$ défini comme suit :
+>  - $h(x_1, x_2, \dots, x_{p})$ n'est pas définie si l'une des $f_{i}(x_1, x_2, \dots, x_{p})$ n'est pas défini ou si, toutes l'étant, $g(f_1(x_1, x_2, \dots, x_{p}), f_2(x_1, x_2, \dots, x_{p}), \dots, f_{n}(x_1, x_2, \dots, x_{p}))$ n'est pas définie
+>  - Dans le cas contraire, $h(x_1, x_2, \dots, x_{p}) := g(f_1(x_1, x_2, \dots, x_{p}), f_2(x_1, x_2, \dots, x_{p}), \dots, f_{n}(x_1, x_2, \dots, x_{p}))$
 
 # Propriétés