summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-10 10:00:05 +0100
committerFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-10 10:00:05 +0100
commitee7a381036b46772c5de78db7ebaafb19ad61eba (patch)
tree9eccb164c9f301ca545225a509348027acdd34c1 /chapitres
parent59f4e074bd6e57ecf994fec82aea4e1b51a75786 (diff)
downloadgalois-ee7a381036b46772c5de78db7ebaafb19ad61eba.tar.gz
galois-ee7a381036b46772c5de78db7ebaafb19ad61eba.tar.bz2
galois-ee7a381036b46772c5de78db7ebaafb19ad61eba.zip
[Spec] clarification sur ∨ et idéaux
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/spectre.tex3
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}