From 960cac9eb1643aadba95be0c32a6b2d8cbc4f10a Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Fri, 21 Oct 2022 12:27:31 +0200
Subject: [PATCH] .

---
 src/math/logique/fonctions.md | 5 +++++
 1 file changed, 5 insertions(+)

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
+