-Commençons par caractériser l'ensemble $\mathcal{T}$ des fonctions transitives:
+Commençons par caractériser l'ensemble $\mathcal{T}$ des fonctions transitives dans le cas
+des itérations généralisées.
-\begin{theorem} $G_{f_g}$ est transitive si et seulement si
- $\textsc{gig}(f)$ est fortement connexe.
-\end{theorem}
+\caractransitivegeneralise*
\begin{Proof}
Prouvons à présent le théorème suivant:
-\begin{theorem}
-\label{Prop: T est dans R:gp} $\mathcal{T} \subset \mathcal{R}$.
-\end{theorem}
+\caracsubgeneralise*
\begin{Proof}
\end{Proof}
On peut conclure que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
-= \mathcal{T}$. On a alors la caractérisation suivante:
-
-\begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC:gp}
-Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique
-si et seulement si $\textsc{gig}(f)$ est fortement connexe.
-\end{theorem}
+= \mathcal{T}$.
\ No newline at end of file
