summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2019-03-17 19:21:16 (GMT)
committerDavid A. Madore <david+git@madore.org>2019-03-17 19:30:48 (GMT)
commitf9d723c0439107cba9ae30fd85075ae3d1abefd2 (patch)
tree9e5cf6e657c68c5478c93cec9e002d50484c9828
parentae0f3c8067abedb4ebfe3a4a45d8584eaefd3da9 (diff)
downloadmitro206-master.zip
mitro206-master.tar.gz
mitro206-master.tar.bz2
Missing clarification.HEADmaster
-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