relations 13 fini

[cours-maths-dis.git] / main13.thm

diff --git a/main13.thm b/main13.thm
index 1fae66845eeb165d96162dc2facd2595cd4687a0..28bfbdc6d494d2a32f0f5b73e36c9fbcc7bfa160 100644 (file)
--- a/main13.thm
+++ b/main13.thm
@@ -125,3 +125,33 @@
 \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 {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é}}{30}{Def.4}
+\contentsline {Exo}{{Exercice}{4.{2}}{}}{30}{Exo.2}
+\contentsline {Exo}{{Exercice}{4.{3}}{}}{31}{Exo.3}
+\contentsline {Def}{{Définition}{4.{5}}{Relation d'ordre}}{31}{Def.5}
+\contentsline {Ex}{{Exemple}{4.{4}}{}}{31}{Exo.4}
+\contentsline {Ex}{{Exemple}{4.{5}}{Relation de divisibilité}}{31}{Exo.5}
+\contentsline {Exo}{{Exercice}{4.{6}}{}}{31}{Exo.6}
+\contentsline {Exo}{{Exercice}{4.{7}}{Diagrammes de transitivité}}{31}{Exo.7}
+\contentsline {Def}{{Définition}{4.{6}}{Relation symétrique}}{31}{Def.6}
+\contentsline {Def}{{Définition}{4.{7}}{Relation d'équivalence}}{31}{Def.7}
+\contentsline {Ex}{{Exemple}{4.{8}}{}}{31}{Exo.8}
+\contentsline {Ex}{{Exemple}{4.{9}}{Relation de congruence modulo $n$ dans $\Z $}}{32}{Exo.9}
+\contentsline {Exo}{{Exercice}{4.{10}}{}}{32}{Exo.10}
+\contentsline {Def}{{Définition}{4.{8}}{Classe d'équivalence}}{32}{Def.8}
+\contentsline {Notation}{{Notation}{4.{1}}{}}{32}{Notation.1}
+\contentsline {Exo}{{Exercice}{4.{11}}{}}{32}{Exo.11}
+\contentsline {Exo}{{Exercice}{4.{12}}{}}{32}{Exo.12}
+\contentsline {Th}{{Propriété}{4.{1}}{}}{32}{Th.1}
+\contentsline {Pre}{{Preuve}{1}{}}{32}{Pre.1}
+\contentsline {Def}{{Définition}{4.{9}}{Partition d'un ensemble}}{32}{Def.9}
+\contentsline {Th}{{Propriété}{4.{2}}{}}{33}{Th.2}
+\contentsline {Pre}{{Preuve}{2}{}}{33}{Pre.2}
+\contentsline {Ex}{{Exemple}{4.{13}}{}}{33}{Exo.13}
+\contentsline {Exo}{{Exercice}{4.{14}}{}}{33}{Exo.14}
+\contentsline {Exo}{{Exercice}{4.{15}}{}}{33}{Exo.15}