From 5f5dd1e62ce6eb36768597e9559bd745b2d4503f Mon Sep 17 00:00:00 2001
From: Debucquoy <debucqquoy.anthony@gmail.com>
Date: Mon, 17 Oct 2022 19:53:41 +0200
Subject: [PATCH] .

---
 src/SUMMARY.md                |  1 +
 src/math/logique/fonctions.md | 13 +++++++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 src/math/logique/fonctions.md

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 0b4e238..f726e63 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -8,6 +8,7 @@
 	- [implication](./math/logique/implication.md)
 	- [induction](./math/logique/induction.md)
 	- [Ensembles](./math/logique/ensembles.md)
+	- [Fonciton, Domaine et Imagge](./math/logique/fonctions.md)
 - [Inéquations](./math/ineq/summary.md)
 	- [Second Degrés](./math/ineq/second_degres.md)
 	- [Valeurs Absolue](./math/ineq/abs.md)
diff --git a/src/math/logique/fonctions.md b/src/math/logique/fonctions.md
new file mode 100644
index 0000000..5acd62e
--- /dev/null
+++ b/src/math/logique/fonctions.md
@@ -0,0 +1,13 @@
+# Fonciton, Domaine et Image
+
+## Definitions
+
+Une fonction est toujours definie par sont départ et arrivée
+
+- \\(f : A \to B f(x) = y\\) où:
+	- A est l'ensemble de départ 
+	- B est l'ensemble d'arrvée 
+
+- Soit \\(f: A \to B\\) une fonction:
+	- Le **Domaine** de f, \\(dom(f) = \\{ a \in A \vert \exists b \\\in B f(a) = b\\}\\)
+	- L'**Image* de f, \\(im(f) = \\{ b \in B \vert \exists a \\\in A f(a) = b\\}\\)