et la fonction d'iteration $G_{f_u}$ définie de
$\mathcal{X}_u$
dans lui-même par
-\[
+\begin{equation}
G_{f_u}(x,s)=(F_{f_u}(x,s_0),\sigma(s)).
-\]
+\label{eq:sch:unaire}
+\end{equation}
Dans cette définition, la fonction
$\sigma: \llbracket1;{\mathsf{N}}\rrbracket^{\Nats} \longrightarrow
\end{theorem}
\begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:u} $\mathcal{T} \subset \mathcal{R}$.
\end{theorem}
On peut conclure que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
