diff options
| -rw-r--r-- | chapitres/spectre.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chapitres/spectre.tex b/chapitres/spectre.tex index dbad3a2..678a167 100644 --- a/chapitres/spectre.tex +++ b/chapitres/spectre.tex @@ -445,7 +445,8 @@ Tout idéal de type fini d'une algèbre de Boole est principal. \begin{démo} Cela résulte immédiatement du fait que tout ensemble fini -a une borne inférieure pour l'ordre défini ci-dessus. +a une borne inférieure pour l'ordre défini ci-dessus et du fait +qu'un idéal est stable par l'opération $∨$. Voir aussi \ref{exercice-idéal idempotent engendré par idempotent}. \end{démo} |