summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2011-09-28 17:31:09 +0200
committerDavid A. Madore <david+git@madore.org>2011-09-28 17:31:09 +0200
commit78ff1da4ae114bd54763eb0faa054dc7c5be59d8 (patch)
treef710f72a125aafae7a5fd2dcd7b1762c78611553
parent21bd01d5abb493044b51eb66c9ac21555a5af691 (diff)
downloadinfmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.tar.gz
infmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.tar.bz2
infmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.zip
Fix a stupid thinko.upload-20111005
-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