summaryrefslogtreecommitdiffstats
path: root/notes-mitro206.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-mitro206.tex')
-rw-r--r--notes-mitro206.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 6bd8a82..5204db3 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -4317,7 +4317,8 @@ toujours comparables (on a toujours $\beta<\alpha$ ou $\beta>\alpha$
ou $\beta=\alpha$), et il n'existe pas de suite infinie strictement
décroissante d'ordinaux.
-Autrement dit : dans tout ensemble d'ordinaux il y en a un plus petit.
+Autrement dit : dans tout ensemble non vide d'ordinaux il y en a un
+plus petit.
\end{thm}
\begin{proof}
Le théorème \ref{comparison-of-well-ordered-sets} signifie exactement