traduction classification fini

1 files changed, 4 insertions, 0 deletions

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}