From 559b315601706e53091bd6bed8ec9a75230e8b33 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 29 Jan 2016 17:36:48 +0100
Subject: Fix missing condition.

---
 notes-mitro206.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'notes-mitro206.tex')

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index d7d7d56..3effa67 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1188,9 +1188,10 @@ de $x$ vers $Z$ (autrement dit, $\mathscr{F}$ est $\bigcup_{x \in G}
 \bigcup_{D \subseteq \outnb(x)} \big(\{x\}\times Z^D\big)$).  Soit
 enfin $\Phi\colon \mathscr{F} \dasharrow Z$ une fonction partielle
 cohérente en la deuxième variable, c'est-à-dire telle que $\Phi(x,f) =
-\Phi(x,g)$ dès que $f \supseteq g$.  Alors il existe une plus petite
-(au sens du prolongement) fonction partielle $f\colon G \dasharrow Z$
-telle que pour tout $x \in G$ on ait
+\Phi(x,g)$ dès que $f \supseteq g$ et que $\Phi(x,g)$ est définie.
+Alors il existe une plus petite (au sens du prolongement) fonction
+partielle $f\colon G \dasharrow Z$ telle que pour tout $x \in G$ on
+ait
 \[
 f(x) = \Phi(x,\, f|_{\outnb(x)})
 \]
-- 
cgit v1.2.3

