summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--rappels-maths.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/rappels-maths.tex b/rappels-maths.tex
index 15c307f..50168cf 100644
--- a/rappels-maths.tex
+++ b/rappels-maths.tex
@@ -545,10 +545,10 @@ d'équivalence $\pi(x) = \bar x$. Ainsi : $\pi(x) = \pi(x')$ ssi $x
$\sim$ en une vraie égalité.)
Si on a sur $E$ une opération binaire, disons, $\tee$, telle que $x
-\sim x'$ et $y \sim y'$ impliquent $(x\tee x') \sim (y\tee y')$ (on
+\sim x'$ et $y \sim y'$ impliquent $(x\tee y) \sim (x'\tee y')$ (on
dit que $\sim$ est \emph{compatible} avec l'opération $\tee$), alors
on peut définir une opération binaire $\mathbin{\bar\top}$ sur
-$E/{\sim}$ par $\pi(x) \mathbin{\bar\top} \pi(x') = \pi(x\tee x')$.
+$E/{\sim}$ par $\pi(x) \mathbin{\bar\top} \pi(y) = \pi(x\tee y)$.
L'application $\pi\colon E \to (E/{\sim})$ préserve alors l'opération
$\tee$ et on dit qu'il s'agit d'un \emph{morphisme} (d'ensembles munis