X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/fbbd9218eb932e26e0400a94d73669716780a54a..333558f52e52a5792ac99d50e89d3a9d837b9d67:/main13.aux?ds=inline

diff --git a/main13.aux b/main13.aux
index e57faae..44666a4 100644
--- a/main13.aux
+++ b/main13.aux
@@ -238,10 +238,52 @@
 \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{15}}{}}{29}{Exo.15}}
 \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{16}}{}}{29}{Exo.16}}
 \@writefile{thm}{\contentsline {Exo}{{Exercice}{3.{17}}{Fonction caractéristique des parties d'un ensemble}}{29}{Exo.17}}
-\@writefile{toc}{\contentsline {part}{III\hspace  {1em}Annexes}{30}{part.3}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {4}Relations binaires entre ensembles}{30}{chapter.4}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {section}{\numberline {I}Relations}{30}{section.4.1}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{1}}{Relation binaire}}{30}{Def.1}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{1}}{}}{30}{Exo.1}}
+\@writefile{thm}{\contentsline {Rem}{{Remarque}{4.{1}}{}}{30}{Rem.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {II}Relations d'ordre}{30}{section.4.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {II.1}R\IeC {\'e}flexivit\IeC {\'e}, antisym\IeC {\'e}trie, transitivit\IeC {\'e}}{30}{subsection.4.2.1}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{2}}{Réflexivité}}{30}{Def.2}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{3}}{Antisymétrie}}{30}{Def.3}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{4}}{Transitivité}}{30}{Def.4}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{2}}{}}{30}{Exo.2}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{3}}{}}{31}{Exo.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {II.2}Relation d'ordre}{31}{subsection.4.2.2}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{5}}{Relation d'ordre}}{31}{Def.5}}
+\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{4}}{}}{31}{Exo.4}}
+\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{5}}{Relation de divisibilité}}{31}{Exo.5}}
+\global\def\markxxExi{\ensuremath {}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{6}}{}}{31}{Exo.6}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{7}}{Diagrammes de transitivité}}{31}{Exo.7}}
+\@writefile{toc}{\contentsline {section}{\numberline {III}Relations d'\IeC {\'e}quivalence}{31}{section.4.3}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{6}}{Relation symétrique}}{31}{Def.6}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{7}}{Relation d'équivalence}}{31}{Def.7}}
+\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{8}}{}}{31}{Exo.8}}
+\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{9}}{Relation de congruence modulo $n$ dans $\Z $}}{32}{Exo.9}}
+\global\def\markxxiiExi{\ensuremath {}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{10}}{}}{32}{Exo.10}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {III.1}Classes d'\IeC {\'e}quivalence}{32}{subsection.4.3.1}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{8}}{Classe d'équivalence}}{32}{Def.8}}
+\@writefile{thm}{\contentsline {Notation}{{Notation}{4.{1}}{}}{32}{Notation.1}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{11}}{}}{32}{Exo.11}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{12}}{}}{32}{Exo.12}}
+\@writefile{thm}{\contentsline {Th}{{Propriété}{4.{1}}{}}{32}{Th.1}}
+\@writefile{thm}{\contentsline {Pre}{{Preuve}{1}{}}{32}{Pre.1}}
+\@writefile{thm}{\contentsline {Def}{{Définition}{4.{9}}{Partition d'un ensemble}}{32}{Def.9}}
+\@writefile{thm}{\contentsline {Th}{{Propriété}{4.{2}}{}}{33}{Th.2}}
+\@writefile{thm}{\contentsline {Pre}{{Preuve}{2}{}}{33}{Pre.2}}
+\@writefile{thm}{\contentsline {Ex}{{Exemple}{4.{13}}{}}{33}{Exo.13}}
+\global\def\markxxiiiEx{\ensuremath {}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{14}}{}}{33}{Exo.14}}
+\@writefile{thm}{\contentsline {Exo}{{Exercice}{4.{15}}{}}{33}{Exo.15}}
+\@writefile{toc}{\contentsline {part}{III\hspace  {1em}Annexes}{34}{part.3}}
 \@input{PPN.aux}
 \bibstyle{alpha}
 \bibdata{biblio}
 \bibcite{Dowek07}{Dow07}
-\@writefile{toc}{\contentsline {chapter}{Index}{32}{chapter.4}}
+\@writefile{toc}{\contentsline {chapter}{Index}{36}{chapter.5}}
 \@input{Bibliographie.aux}