.

2022-10-21 12:27:31 +02:00 · 2022-10-21 12:27:31 +02:00 · 960cac9eb1
commit 960cac9eb1
parent e6bafd469a
1 changed files with 5 additions and 0 deletions
--- a/src/math/logique/fonctions.md
+++ b/src/math/logique/fonctions.md
@ -24,3 +24,8 @@ Une fonction est toujours definie par sont départ et arrivée
 - Soit \\(f: A \to B\\) f est surjective ssi
 	- \\(\forall b \in B \quad \exists a \in A \qquad f(a) = b\\)
 		- intuitions: a au moins une valeurs pour tous les y
+
+- Soit \\(f: A \to B\\) f est:
+	- une application ssi \\(dom(f) = A\\)
+	 - bijective ssi f est injective et surjective
+