controle ensembles

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

diff --git a/main13.idx b/main13.idx
index 5ea86f619b019779922851875f65c39453e12ea0..4aa90576cf21c95c146590733b49871b64a11c43 100644 (file)
--- a/main13.idx
+++ b/main13.idx
@@ -26,3 +26,11 @@
 \indexentry{compl\IeC {\'e}mentation|hyperpage}{28}
 \indexentry{involution|hyperpage}{28}
 \indexentry{loi de De Morgan|hyperpage}{28}
 \indexentry{compl\IeC {\'e}mentation|hyperpage}{28}
 \indexentry{involution|hyperpage}{28}
 \indexentry{loi de De Morgan|hyperpage}{28}

+\indexentry{relation binaire|hyperpage}{30}
+\indexentry{relation!r\IeC {\'e}flexive|hyperpage}{30}
+\indexentry{relation!antisym\IeC {\'e}trique|hyperpage}{30}
+\indexentry{relation!transitive|hyperpage}{30}
+\indexentry{relation!d'ordre|hyperpage}{31}
+\indexentry{relation!sym\IeC {\'e}trique|hyperpage}{31}
+\indexentry{classe d'\IeC {\'e}quivalence|hyperpage}{32}
+\indexentry{partition|hyperpage}{32}