Siguiente: Esquema de minimización Un nivel arriba: Propiedades de cerradura de Anterior: Propiedades de cerradura de

Esquema de composición

Este esquema es la composición típica de funciones. Dada una función de k argumentos y dadas k funciones, de n argumentos cada una, al componer a las segundas con la primera obtenemos una función de n argumentos,

Si $f_1,\ldots,f_k:I\!\!N^n\rightarrow N$ son k funciones y $g:I\!\!N^k\rightarrow N$ es otra función, la composición de las f's con la g es la función

$$\begin{eqnarray*}g(f_1,\ldots,f_k):I\!\!N^n &\rightarrow& I\!\!N\\ \mbox{\bf x} &\mapsto& g(f_1(\mbox{\bf x}),\ldots,f_k(\mbox{\bf x})) \end{eqnarray*}$$

Así pues, $\mbox{\it Comp}(g;f_1,\ldots,f_k)=g(f_1,\ldots,f_k).$