From 2923f91c2fdb4867655d34f9398604aa55cf3bc7 Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Wed, 26 Apr 2023 08:56:50 +0200 Subject: [PATCH] Revert "Test + to delete" This reverts commit edd7fe36ea4996b3c9d190e8cdb229fec199e592. --- src/math/disc/relations.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/math/disc/relations.md b/src/math/disc/relations.md index 4a01ec0..7a1dc83 100644 --- a/src/math/disc/relations.md +++ b/src/math/disc/relations.md @@ -122,10 +122,4 @@ Exemple: \\( (a, =), (\mathbb{N} \leq), (\mathbb{R} \leq ), (\mathbb{R}, \geq ), - 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\\) - - - +