Soit alors $G_{f_g}$ une fonction de $\Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$
dans lui-même définie par
\[
- G_{f_g}(S,x)=(\sigma(S),F_{f_g}(s_0,x)),
+ G_{f_g}(x,S)=(F_{f_g}(x,s_0),\sigma(S)),
\]
où la fonction $\sigma$ est définie comme à la section précédente.
A nouveau, les itérations généralisées
