Commit 20dbb785 authored by Guillaume GENESTIER's avatar Guillaume GENESTIER

k

parent 62a636a6
......@@ -108,6 +108,8 @@
On se donne $\FTyp'\subseteq\FTyp$ tel que $\CTyp\subseteq\FTyp'$ et $\succ$ un pr\'e-ordre bien fond\'e sur les symboles de $\FTyp'$.
\end{defi}
\begin{defi}[Statut]
On munit chaque $F\in\FTyp'$ d'arit\'e $k$ d'un tuple d'entiers inf\'erieurs \`a $k$ : $(i_1,\dots,i_n)$.
\end{defi}
......@@ -122,7 +124,7 @@
Remarquons que l'ordre strict est d\'efini comme l'ordre large, sauf que $\rhd$ remplace $\unrhd$ dans la derni\`ere condition.
\end{defi}
\remark{Si chaque classe d’équivalence pour $\approx$,
\remark{Si pour chaque classe d’équivalence pour $\approx$,
il existe un entier $n$ tel que les $st(C)$ sont de taille inférieure à $n$,
alors $>$ est bien fondé.}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment