X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/714ce29544c8cc7bf8b4530d28352fb1a5306991..1ba923d87cf3028fb3f60f0b411e155f48767aeb:/sdd.tex?ds=sidebyside

diff --git a/sdd.tex b/sdd.tex
index 2352fad..355e33c 100644
--- a/sdd.tex
+++ b/sdd.tex
@@ -194,8 +194,10 @@ sont les Ã©lÃ©ments de $\Bool^{\mathsf{N}}$ (voir \textsc{Figure}~\ref{fig:xpl:g
 est le graphe orientÃ© de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si 
 et seulement si $y=f(x)$.
 \item Le \emph{graphe des itÃ©rations unaires} de $f$, notÃ© $\textsc{giu}(f)$
-est le graphe orientÃ© de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si 
-et seulement s'il existe $x \in \Delta f(x)$ tel que $y = \overline{x}^i$.
+est le graphe orientÃ© de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ pour $x \neq$ si 
+et seulement s'il existe $i \in \Delta f(x)$ tel que $y = \overline{x}^i$.
+Si $\Delta f(x)$ est vide, on ajoute l'arc $x \rightarrow x$.
+
 \item Le \emph{graphe des itÃ©rations gÃ©nÃ©ralisÃ©es} de $f$, notÃ© $\textsc{gig}(f)$
 est le graphe orientÃ© de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si 
 et seulement s'il existe un ensemble $I\subseteq \Delta f(x)$ tel que 
@@ -330,7 +332,7 @@ les uns par rapport aux autres. Cette matrice est nommÃ©e
 
 \begin{theorem}
 Si $f_i$ ne dÃ©pend pas de $x_j$, alors pour tout $x\in [{\mathsf{N}}]$, 
-$f_i(\overline{x}^j)$ est Ã©gal Ã   $f_i(x)$, \textit{i.e}, 
+$f_i(\overline{x}^j)$ est Ã©gal Ã   $f_i(x)$, \textit{i.e.}, 
 $f'_{ij}(x)=0$. Ainsi $B(f)_{ij}$ est nulle. La rÃ©ciproque est aussi vraie.
 \end{theorem} 
 
