From 71d8d2a0991f253ba56665abdc6c33513a350dc3 Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Mon, 24 Apr 2023 19:36:25 +0200
Subject: [PATCH] Relation d'ordre

---
 src/math/disc/relations.md | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/math/disc/relations.md b/src/math/disc/relations.md
index a103a55..7a1dc83 100644
--- a/src/math/disc/relations.md
+++ b/src/math/disc/relations.md
@@ -101,3 +101,25 @@ Par example,
             2) \\( \forall A_ i, A_ j \in \mathcal{P} \quad A_ i \neq A_ j \implies A_ i \cap A_ j = \emptyset\\) 
 
 On a donc que \\( A/R \\) est une partition de A
+
+## Les relations d'ordre
+
+- Soit \\( A \\) un ensemble, \\( R \subseteq A \times A \\) 
+    - On dit que \\( R \\) est **une relation d'ordre** sur \\( A \\) ssi \\( R \\) est:
+        1) Réfléxive
+        2) Transitive
+        3) Anti-Symétrique
+    - On dit alors que \\( (A, R) \\) est un ensemble ordonné
+
+Exemple: \\( (a, =), (\mathbb{N} \leq), (\mathbb{R} \leq ), (\mathbb{R}, \geq ), (\mathbb{N}_ 0, \vert ), (2^X, \subseteq)\\) 
+
+- Soit \\( (A, R) \\)  un ensemble ordonné, Soit \\( a, b \in A \\)
+    - On dit que a et b sont **Comparables** (par rapport à R) ssi
+        - \\( a R b \lor b R a \\) 
+    - Sinon ils sont **Incomparable**
+
+- Soit \\( (A, R) \\) un ensemble ordonné.
+    - On dit que l'ensemble est **Totalement ordonné** ssi
+        - Il ne contient pas de paire d'incomparable pour R
+        - \\( \forall a,b \in A \quad aRb \lor bRa\\) 
+