summaryrefslogtreecommitdiffstats
path: root/notes-mitro206.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-mitro206.tex')
-rw-r--r--notes-mitro206.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 6e7d13f..bd89ae5 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1957,10 +1957,10 @@ théorème \ref{gale-stewart-theorem} et ce qu'on vient de dire, et il
assez technique à démontrer :
\begin{thm}[D. A. Martin, 1975]
-Si $A \subseteq X^{\mathbb{N}}$ est \emph{borélien}, c'est-à-dire
+Si $A \subseteq X^{\mathbb{N}}$ est \defin{borélien}, c'est-à-dire
appartient à la plus petite partie de $\mathscr{P}(X^{\mathbb{N}})$
stable par complémentaire et réunions dénombrables (également appelée
-« tribu ») contenant les ouverts, alors le jeu $G_X(A)$ est déterminé.
+\defin{tribu}) contenant les ouverts, alors le jeu $G_X(A)$ est déterminé.
\end{thm}
(Autrement dit, non seulement un ouvert et un fermé sont déterminés,