From b98ea1cd37559526ff377b60807bc5a2714ce4fd Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 21 Jan 2025 18:11:04 +0100
Subject: Typo.

---
 transp-inf110-02-typage.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'transp-inf110-02-typage.tex')

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 9629e1e..4cc3b11 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -4442,7 +4442,7 @@ $\mathcal{P}(\mathbb{N})$ des parties de $\mathbb{N}$ :
 \medskip
 
 \itempoint Si $\varphi(A_1,\ldots,A_r)$ est une formule
-propositionnelle et $P_1,\ldots,P_r \in \mathbb{N}$, on définit
+propositionnelle et $P_1,\ldots,P_r \subseteq \mathbb{N}$, on définit
 $\dot\varphi(P_1,\ldots,P_r)$ de façon évidente (par induction).
 
 \smallskip
-- 
cgit v1.2.3

