From 0e95544f85b523a95fb05b36c4e6b8789c73abfa Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Wed, 4 Sep 2024 00:12:49 +0200
Subject: traduction classification fini

---
 background/set.tex | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'background/set.tex')

diff --git a/background/set.tex b/background/set.tex
index 2e660f6..b45e302 100644
--- a/background/set.tex
+++ b/background/set.tex
@@ -85,6 +85,10 @@ $\forall b\in B (b\in A \wedge F)$
         \right\}
     \end{equation}
 
+    Nous dirons qu'une fonction $f:E\rightarrow F$ est injective si et seulement si $\forall (x,y)\in E^2(f(x)=f(y)\implies x=y$).
+    Nous dirons aussi que $f$ est surjective si et sulement si $\forall y\in F\exists x\in E~f(x)=y$.
+    Dans le cas où $f$ serait à la fois injective et surjective nous dirons qu'elle est bijective et que les ensembles $E$ et $F$ sont en bijection.
+
 \end{definition}
 
 \paragraph{Axiome du choix}
-- 
cgit v1.2.3

