diff --git a/src/math/logique/fonctions.md b/src/math/logique/fonctions.md
index 7c6bdde..b9c2233 100644
--- 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
+