diff options
Diffstat (limited to 'background/set.tex')
| -rw-r--r-- | background/set.tex | 4 |
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} |