From 78ff1da4ae114bd54763eb0faa054dc7c5be59d8 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 28 Sep 2011 17:31:09 +0200
Subject: Fix a stupid thinko.

---
 rappels-maths.tex | 4 ++--
 1 file 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'
 $\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
-- 
cgit v1.2.3