From f9d723c0439107cba9ae30fd85075ae3d1abefd2 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sun, 17 Mar 2019 20:21:16 +0100
Subject: Missing clarification.

---
 notes-mitro206.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'notes-mitro206.tex')

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
-- 
cgit v1.2.3

