X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/fbbd9218eb932e26e0400a94d73669716780a54a..a0ee5c712b5f4b3e908e2d16da8ff24d414f5f1e:/main13.thm

diff --git a/main13.thm b/main13.thm
index 1fae668..3a5d32c 100644
--- a/main13.thm
+++ b/main13.thm
@@ -125,3 +125,40 @@
 \contentsline {Exo}{{Exercice}{3.{15}}{}}{29}{Exo.15}
 \contentsline {Exo}{{Exercice}{3.{16}}{}}{29}{Exo.16}
 \contentsline {Exo}{{Exercice}{3.{17}}{Fonction caractéristique des parties d'un ensemble}}{29}{Exo.17}
+\contentsline {Def}{{Définition}{4.{1}}{Relation binaire}}{30}{Def.1}
+\contentsline {Exo}{{Exercice}{4.{1}}{}}{30}{Exo.1}
+\contentsline {Rem}{{Remarque}{4.{1}}{}}{30}{Rem.1}
+\contentsline {Exo}{{Exercice}{4.{2}}{}}{30}{Exo.2}
+\contentsline {Def}{{Définition}{4.{2}}{Réflexivité}}{30}{Def.2}
+\contentsline {Def}{{Définition}{4.{3}}{Antisymétrie}}{30}{Def.3}
+\contentsline {Def}{{Définition}{4.{4}}{Transitivité}}{31}{Def.4}
+\contentsline {Exo}{{Exercice}{4.{3}}{}}{31}{Exo.3}
+\contentsline {Exo}{{Exercice}{4.{4}}{}}{31}{Exo.4}
+\contentsline {Exo}{{Exercice}{4.{5}}{}}{31}{Exo.5}
+\contentsline {Def}{{Définition}{4.{5}}{Relation d'ordre}}{31}{Def.5}
+\contentsline {Ex}{{Exemple}{4.{6}}{}}{31}{Exo.6}
+\contentsline {Ex}{{Exemple}{4.{7}}{Relation de divisibilité}}{31}{Exo.7}
+\contentsline {Exo}{{Exercice}{4.{8}}{}}{31}{Exo.8}
+\contentsline {Exo}{{Exercice}{4.{9}}{Diagrammes de transitivité}}{31}{Exo.9}
+\contentsline {Def}{{Définition}{4.{6}}{Relation symétrique}}{32}{Def.6}
+\contentsline {Def}{{Définition}{4.{7}}{Relation d'équivalence}}{32}{Def.7}
+\contentsline {Ex}{{Exemple}{4.{10}}{}}{32}{Exo.10}
+\contentsline {Ex}{{Exemple}{4.{11}}{Relation de congruence modulo $n$ dans $\Z $}}{32}{Exo.11}
+\contentsline {Exo}{{Exercice}{4.{12}}{}}{32}{Exo.12}
+\contentsline {Def}{{Définition}{4.{8}}{Classe d'équivalence}}{32}{Def.8}
+\contentsline {Notation}{{Notation}{4.{1}}{}}{32}{Notation.1}
+\contentsline {Exo}{{Exercice}{4.{13}}{}}{32}{Exo.13}
+\contentsline {Exo}{{Exercice}{4.{14}}{}}{32}{Exo.14}
+\contentsline {Th}{{Propriété}{4.{1}}{}}{33}{Th.1}
+\contentsline {Rem}{{Remarque}{4.{2}}{}}{33}{Rem.2}
+\contentsline {Pre}{{Preuve}{1}{}}{33}{Pre.1}
+\contentsline {Def}{{Définition}{4.{9}}{Partition d'un ensemble}}{33}{Def.9}
+\contentsline {Th}{{Propriété}{4.{2}}{}}{33}{Th.2}
+\contentsline {Pre}{{Preuve}{2}{}}{33}{Pre.2}
+\contentsline {Ex}{{Exemple}{4.{15}}{}}{33}{Exo.15}
+\contentsline {Exo}{{Exercice}{4.{16}}{}}{33}{Exo.16}
+\contentsline {Exo}{{Exercice}{4.{17}}{Une relation d'équivalence}}{33}{Exo.17}
+\contentsline {Exo}{{Exercice}{4.{18}}{}}{33}{Exo.18}
+\contentsline {Def}{{Définition}{4.{10}}{Ensemble-quotient}}{34}{Def.10}
+\contentsline {Notation}{{Notation}{4.{2}}{}}{34}{Notation.2}
+\contentsline {Ex}{{Exemple}{4.{19}}{Congruence modulo 4}}{34}{Exo.19}