diff options
| -rw-r--r-- | rappels-maths.tex | 4 |
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 |