Index terminologique

Achèvement d’un ensemble ordonné: III, p. 72, exerc. 15. Adjonction d’un plus grand élément à un ensemble ordonné: III, p. 9. Aleph: III, p. 87, exerc. 10. Antécédents (assemblages —): I, p. 45. Appartenance (relation d’—): II, p. 1. Application d’une théorie dans une autre: I, p. 24. Application bijective, injective, surjective: II, p. 16. Application compatible avec une relation d’équivalence: II, p. 44. Application compatible avec deux relations d’équivalence: II, p. 44. Application composée de deux applications: II, p. 16. Application constante: II, p. 15. Application croissante, décroissante, monotone: III, p. 7. Application déduite d’une application par passage à un sous-ensemble: II, p. 15. Application déduite d’une application par passage à deux sous-ensembles: II, p. 15. Application déduite d’une application par passage au quotient suivant une relation d’équivalence: II, p. 44. Application déduite d’une application par passage aux quotients suivant deux relations d’équivalence: II, p. 45. Application diagonale de A dans A × A: II, p. 17. Application diagonale de E dans E^I: II, p. 33. Application d’un ensemble dans un ensemble: II, p. 14. Application identique: II, p. 14. Application majorée, minorée, bornée: III, p. 9. Application partielle: II, p. 21. Application strictement croissante, strictement décroissante, strictement monotone: III, p. 7. Application universelle: IV, p. 22 Application vide: II, p. 14. Application canonique d’une partie de E dans E: II, p. 17. Application canonique d’un graphe G sur G^{-1}: II, p. 17. Application canonique de F^E sur F(E; F): II, p. 31. Application canonique de F(B × C; A) sur F(B; F(C; A)): II, p. 31. Application canonique de A^{B×C} sur (A^B)^C: II, p. 32. Application canonique de $\prod_{t \in \{\alpha\}} X_t$ sur X_\alpha: II, p. 33. Application canonique de $\prod_{t \in \{\alpha, \beta\}} X_t$ sur X_\alpha × X_\beta: II, p. 33. Application canonique de $\prod_{t \in I} X_t$ sur $\prod_{\lambda \in L} (\prod_{t \in J_\lambda} X_t)$ ((J_\lambda)_{\lambda \in L} partition de I): II, p. 35. Application canonique de $\prod_{t \in I} X_t$ sur $(\prod_{t \in J_\alpha} X_t) \times (\prod_{t \in J_\beta} X_t)$ ((J_\alpha, J_\beta) partition de I: II, p. 35. Application canonique de $\prod_{t \in \{\alpha, \beta, \gamma\}} X_t$ sur X_\alpha × X_\beta × X_\gamma: II, p. 35. Application canonique de $\prod_{t \in I} X_t^E$ sur $(\prod_{t \in I} X_t)^E$: II, p. 39. Application canonique de E sur E/R (R relation d’équivalence dans E): II, p. 41. Application canonique de A/R_A sur f<A> (f: E → E/R application canonique): II, p. 45. Application canonique de (E/S)/(R/S) sur E/R (R, S relations d’équivalence dans E): II, p. 46.

Application canonique de $(E \times E')/(R \times R')$ sur $(E/R) \times (E'/R')$ (R, $R'$ relations d'équivalence): II, p. 47. Application canonique de $\lim_{\leftarrow} E_\alpha$ dans $E_\beta$: III, p. 52. Application de $E_\beta$ dans $\lim_{\rightarrow} E_\alpha$: III, p. 61. Application canonique d'une limite projective dans une limite projective partielle: III, p. 52. Application canonique dans une limite inductive d'une limite inductive partielle: III, p. 65. Applications coïncidant dans un ensemble: II, p. 15. Arrivée (ensemble d'—) d'une correspondance: II, p. 10. Assemblage d'une théorie: I, p. 14. Assemblage de première espèce, de seconde espèce: I, p. 17. Assemblage équilibré: I, p. 45. Assemblage parfaitement équilibré: I, p. 45. Assemblages antécédents à un autre: I, p. 45. Associée (relation d'équivalence —) à une fonction: II, p. 41. Associée (rétraction —) à une injection: II, p. 18. Associée (section —) à une surjection: II, p. 18. Au moins égal, au plus égal: III, p. 4. Automorphisme: IV, p. 6. Auxiliaires (ensembles de base —): IV, p. 3 et p. 4. Axiome de l'ensemble à deux éléments: II, p. 4. Axiome de l'ensemble des parties: II, p. 30. Axiome d'extensionalité: II, p. 2. Axiome de l'infini: III, p. 45. Axiome d'une espèce de structure: IV, p. 4. Axiome explicite, axiome implicite: I, p. 21 et p. 22.

Base d'un développement, d'un système de numération: III, p. 40 et p. 41. Bien ordonné (ensemble —): III, p. 15. Bijection, application bijective: II, p. 17. Binomial (coefficient —): III, p. 42. Biunivoque (correspondance —): II, p. 17. Bon ordre, relation de bon ordre: III, p. 15. Borne inférieure, borne supérieure d'un ensemble: III, p. 10. Borne inférieure, borne supérieure d'une application: III, p. 10. Borne supérieure d'une famille de cardinaux: III, p. 25. Borné (ensemble —): III, p. 9. Bornée (application —): III, p. 9.

Canonique (application —): voir Application canonique. Canonique (décomposition —) d'une fonction: II, p. 44. Canonique (extension —) d'applications: IV, p. 2. Canonique (extension —) d'une correspondance aux ensembles de parties: II, p. 30. Canonique (extension—) d'une famille de fonctions aux ensembles de parties: II, p. 38. Canonique (extension —) de deux fonctions aux ensembles produits: II, p. 21. Canonique (injection —): II, p. 17. Cantor (théorème de —): III, p. 30. Caractère fini (ensemble de parties de —): III, p. 34. Caractère fini (propriété de —): III, p. 34. Caractérisation typique d'une espèce de structure: IV, p. 4. Caractéristique (fonction —) d'une partie d'un ensemble: III, p. 38. Cardinal d'un ensemble: III, p. 23. Cardinal fini: III, p. 30. Cardinal inaccessible, — fortement inaccessible: III, p. 90, exerc. 22.

Cardinal régulier, cardinal singulier: III, p. 90, exerc. 17. Cardinal (produit —): III, p. 25. Cardinale (somme —): III, p. 25. Chiffre: III, p. 40. Classe d’équivalence: II, p. 41. Coefficient binomial: III, p. 42. Coïncidant (fonctions —) dans un ensemble: II, p. 15. Coïnitiale, cofinale (partie —): III, p. 9. Collectivisante (relation —): II, p. 3. Comparables (éléments —): III, p. 13. Comparables (structures —): IV, p. 13. Compatible (application —) avec une relation d’équivalence: II, p. 44. Compatible (application —) avec deux relations d’équivalence: II, p. 44. Compatible (relation —) avec une relation d’équivalence: II, p. 42. Compatible (relation —) avec deux relations d’équivalence: II, p. 47. Complémentaire d’un ensemble: II, p. 6. Complète (solution —): I, p. 40. Composé de deux graphes: II, p. 11. Composée de deux correspondances: II, p. 13. Conjonction de deux relations: I, p. 29. Constante d’une théorie: I, p. 21. Constante (application —): II, p. 15. Constante auxiliaire (méthode de la —): I, p. 28. Construction d’échelon: IV, p. 1. Continu (hypothèse du —): III, p. 50. Continu (puissance du —): III, p. 50. Construction formative: I, p. 17. Contenu (ensemble —) dans un ensemble: II, p. 2. Contradictoire (théorie —): I, p. 22. Coordonnée (première, seconde —) d’un couple: II, p. 7. Coordonnée d’indice t dans un produit d’une famille d’ensembles: II, p. 32. Coordonnée (première fonction —, seconde fonction —): II, p. 16. Coordonnée (fonction —) d’indice t: II, p. 32. Corollaire: I, p. 22. Correspondance entre deux ensembles: II, p. 10. Correspondance composée de deux correspondances: II, p. 13. Correspondance définie par une relation: II, p. 10. Correspondance définie pour l’objet x: II, p. 10. Correspondance réciproque d’une correspondance: II, p. 11. Correspondance biunivoque (ensembles mis en — —): II, p. 17. Coupe d’un graphe, coupe d’une correspondance: II, p. 10 et p. 11. Couple: II, p. 7. Critère déductif: I, p. 23. Critère de la déduction: I, p. 27. Critère de substitution: I, p. 17. Critère formatif: I, p. 19. Croissante (application —): III, p. 7. Croissante (famille — de parties): III, p. 7.

Décimal (système —): III, p. 41. Décomposition canonique d’une fonction: II, p. 44. Décroissante (application —): III, p. 7. Décroissante (famille —) de parties: III, p. 7. Déductif (critère —): I, p. 23.

Déduction (critère de la —): I, p. 27. Déduction de structures (procédé de —): IV, p. 8. Déduite (application —) d'une application par passage à un sous-ensemble, par passage à deux sous-ensembles: II, p. 15. Déduite (application —) d'une application par passage au quotient suivant une relation d'équivalence, par passage aux quotients suivant deux relations d'équivalence: II, p. 44 et p. 45. Déduite (relation —) d'une relation par passage au quotient suivant une relation d'équivalence: II, p. 43. Déduite (structure —) d'une autre par un procédé de déduction de structures: IV, p. 8. Définie (correspondance —) par une relation: II, p. 10. Définie (correspondance —) pour l'objet x: II, p. 10. Définition: I, p. 16. Définition (ensemble de —) d'une correspondance, d'un graphe: II, p. 9 et p. 10. Démonstratif (texte —): I, p. 22. Démonstration: I, p. 22. Dénombrable (ensemble —): III, p. 49. Départ (ensemble de —) d'une correspondance: II, p. 10. Dernier terme d'une suite finie: III, p. 38. Descendante (récurrence —): III, p. 34. Développement de base b: III, p. 40. Diagonale de A × A: II, p. 13. Diagonale de E^I: II, p. 33. Diagonale (application —) de A dans A × A: II, p. 17. Diagonale (application —) de E dans E^I: II, p. 33. Différence de deux entiers: III, p. 37. Différent (terme —) d'un autre: I, p. 39. Disjoints (ensembles —): II, p. 29. Disjoints (segments —): I, p. 43. Disjonction de deux relations: I, p. 18. Disjonction des cas (méthode de —): I, p. 28. Diviseur d'un entier: III, p. 39. Divisible (entier —) par un entier: III, p. 39. Domaine d'une correspondance: II, p. 10. Double (famille —): II, p. 14. Double (suite —): III, p. 46. Dyadique (système —): III, p. 41.

Echelon sur des ensembles: IV, p. 2. Egal (terme —) à un autre: I, p. 38. Egalitaire (théorie —): I, p. 38. Egalité (relation d' —): I, p. 38. Elément: II, p. 1. Elément maximal, minimal: III, p. 8. Eléments comparables: III, p. 13. Ensemble: II, p. 1. Ensemble à n éléments (n entier): III, p. 31. Ensemble bien ordonné: III, p. 15. Ensemble d'arrivée d'une correspondance: II, p. 10. Ensemble de définition d'un graphe, d'une correspondance: II, p. 10. Ensemble de départ d'une correspondance: II, p. 10. Ensemble de parties de caractère fini: III, p. 34. Ensemble dénombrable: III, p. 49. Ensemble des applications de E dans F: II, p. 31.

Ensemble des cardinaux $\leq \alpha$: III, p. 25. Ensemble des éléments d'une famille: II, p. 14. Ensemble des indices d'une famille: II, p. 14. Ensemble des objets de la forme $T$ pour $x \in A$: II, p. 6. Ensemble des paramètres d'une représentation paramétrique: II, p. 17. Ensemble des parties d'un ensemble: II, p. 30. Ensemble des valeurs d'un graphe, d'une correspondance: II, p. 10. Ensemble des $x$ tels que $R$ ($R$ relation collectivisante en $x$): II, p. 4. Ensemble des $x \in A$ tels que $P\{x\}$: II, p. 5. Ensemble facteur d'un produit: II, p. 8 et p. 32. Ensemble filtrant à droite, à gauche: III, p. 12. Ensemble filtrant croissant, décroissant: III, p. 12. Ensemble filtrant pour la relation $\subset$ (resp. $\supset$) : III, p. 12. Ensemble fini: III, p. 31. Ensemble inductif: III, p. 20. Ensemble infini: III, p. 45. Ensemble majoré, minoré, borné: III, p. 9. Ensemble noethérien: III, p. 51. Ensemble ordonné, III, p. 5. Ensemble quotient: II, p. 41. Ensemble réduit à un seul élément: II, p. 4. Ensemble représentatif d'une relation: II, p. 9. Ensemble réticulé: III, p. 13. Ensemble réticulé achevé: III, p. 71, exerc. 11. Ensemble réticulé distributif: III, p. 72, exerc. 16. Ensemble totalement ordonné: III, p. 13. Ensemble universel: IV, p. 22. Ensemble vide: II, p. 6. Ensembles de base auxiliaires: IV, p. 3 et p. 4. Ensembles de base principaux: IV, p. 3 et p. 4. Ensembles disjoints, ensembles qui se rencontrent, ensembles sans élément commun: II, p. 29. Ensembles équipotents: III, p. 23. Ensembles isomorphes: IV, p. 6. Ensembles munis d'une structure: IV, p. 4. Ensembles (théorie des —): II, p. 1. Entier, entier naturel: III, p. 30. Equation: I, p. 40. Equilibré (assemblage —): I, p. 45. Equilibré (mot —): I, p. 43. Equipotents (ensembles —): III, p. 23. Equivalence: II, p. 40. Equivalence (relation d' —): II, p. 40. Equivalence (relation d' —) dans un ensemble: II, p. 40. Equivalentes (espèces de structure —): IV, p. 9. Equivalentes (relations —): I, p. 31. Equivalentes (théories —): I, p. 24. Equivalents (éléments —): II, p. 40. Espèce de structure: IV, p. 4. Espèce de structure d'ordre: IV, p. 5. Espèce de structure univalente: IV, p. 7. Espèces de structure équivalentes: IV, p. 9. Existentiel (quantificateur —): I, p. 32. Explicite (axiome —): I, p. 21.

Extension canonique d'applications: IV, p. 2. Extension canonique d'une correspondance aux ensembles de parties: II, p. 30. Extension canonique de deux fonctions aux ensembles produits: II, p. 21. Extension canonique d'une famille de fonctions aux ensembles produits: II, p. 38. Extensionalité (axiome d'—): II, p. 2. Extraite (suite —): III, p. 45. Extrémité d'un intervalle: III, p. 14.

Facteur (ensemble —): II, p. 8 et p. 32. Factorielle $n$: III, p. 41. Famille: II, p. 14. Famille d'éléments d'un ensemble: II, p. 14. Famille d'ensembles mutuellement disjoints: II, p. 29. Famille de parties d'un ensemble: II, p. 14. Famille de parties croissante, décroissante: III, p. 7. Famille double: II, p. 14. Famille finie: III, p. 31. Fausse (relation —): I, p. 22. Fermé (intervalle —, intervalle illimité —): III, p. 14 et p. 15. Filtrant à droite, à gauche (ensemble —): III, p. 12. Filtrant croissant, décroissant (ensemble —): III, p. 12. Filtrant pour la relation $\subset$ (resp. $\supset$): III, p. 12. Final (segment —) d'un mot: I, p. 43. Finale (structure —): IV, p. 19. Fini (cardinal —, ensemble —): III, p. 30 et p. 31. Finie (famille —): III, p. 31. Finie (suite —): III, p. 38. Fonction caractéristique d'une partie d'un ensemble: III, p. 38. Fonction (compatible, composée, constante, déduite, partielle, vide): voir Application. Fonction coordonnée: II, p. 16 et p. 32. Fonction de deux arguments: II, p. 21. Fonction définie dans A, à valeurs dans B: II, p. 14. Fonction ne dépendant pas de $x$: II, p. 21. Fonctionnel (graphe —): II, p. 13. Fonctionnel (symbole —): I, p. 41. Fonctionnelle (relation —): I, p. 41. Formative (construction —): I, p. 17.

Générale (solution —): I, p. 40. Générique (structure —): IV, p. 4. Graphe, graphe d'une relation: II, p. 9. Graphe d'une correspondance: II, p. 10. Graphe composé de deux graphes: II, p. 11. Graphe fonctionnel: II, p. 13. Graphe réciproque d'un graphe, graphe symétrique: II, p. 11.

Hypothèse auxiliaire (méthode de l'—): I, p. 27. Hypothèse de récurrence: III, p. 18 et p. 32. Hypothèse du continu, hypothèse du continu généralisée: III, p. 50.

Identique (application —): II, p. 14. Illimité (intervalle —): III, p. 15. Image d'un ensemble par un graphe, par une correspondance: II, p. 10. Image d'un objet par une fonction: II, p. 14.

Image d’un recouvrement par une fonction: II, p. 28. Image d’une correspondance: II, p. 10. Image directe d’une structure: IV, p. 21. Image réciproque d’un ensemble par un graphe, par une correspondance: II, p. 11. Image réciproque d’un recouvrement par une fonction: II, p. 28. Image réciproque d’une relation d’équivalence par une fonction: II, p. 45. Image réciproque d’une structure: IV, p. 15. Impair (entier —): III, p. 39. Implicite (axiome —): I, p. 22. Inclusion (relation d’—): II, p. 2. Indices (ensemble des —) d’une famille: II, p. 14. Inductif (ensemble —): III, p. 20. Inductive (limite —) d’une famille d’applications: III, p. 63. Inductive (limite —) d’une famille d’ensembles: III, p. 61. Induit (ordre —, préordre —): III, p. 5. Induite (relation d’ordre —, relation de préordre —): III, p. 5. Induite (relation d’équivalence —): II, p. 45. Induite (structure —): IV, p. 16. Inférieur: III, p. 4. Infini (ensemble —): III, p. 45. Initial (segment —) d’un mot: I, p. 43. Initiale (structure —): IV, p. 14. Injection, application injective: II, p. 16. Injection canonique d’une partie de E dans E: II, p. 17. Intersection d’un ensemble d’ensembles, d’une famille d’ensembles: II, p. 22 et p. 24. Intersection d’une famille de parties: II, p. 23. Intervalle fermé, illimité, ouvert, semi-ouvert: III, p. 14 et p. 15. Intrinsèque (terme —): IV, p. 7. Invariant (élément —): II, p. 15. Inverse à droite d’une injection: II, p. 19. Inverse à gauche d’une surjection: II, p. 19. Involutive (permutation —): II, p. 17. Isomorphes (ensembles —, structures —): IV, p. 6. Isomorphisme: IV, p. 6. Isomorphisme d’ensembles ordonnés: III, p. 5. Itérée (n-ème —) d’une application: III, p. 47.

Lattis: III, p. 13. Légitimation (théorème de —): I, p. 29. Lemme: I, p. 22. Lexicographique (ordre —, produit —, relation d’ordre —): III, p. 23. Lien: I, p. 14. Limite inductive d’une famille d’applications: III, p. 63. Limite inductive d’une famille d’ensembles: III, p. 61. Limite projective d’une famille d’applications: III, p. 54. Limite projective d’une famille d’ensembles: III, p. 52. Limitée (récurrence —): III, p. 33. Logique (signe —): I, p. 14. Logique (théorie —): I, p. 25. Longueur d’un mot: I, p. 42. Longueur d’une suite finie: III, p. 38.

Majorant: III, p. 9. Majorant strict: III, p. 20.

Majorée (application —, partie —): III, p. 9. Mathématique (théorie —): I, p. 14, p. 21 et p. 22. Maximal (élément —): III, p. 8. Méthode de disjonction des cas: I, p. 28. Méthode de la constante auxiliaire: I, p. 28. Méthode de l’hypothèse auxiliaire: I, p. 27. Méthode de réduction à l’absurde: I, p. 27. Minimal (élément —): III, p. 8. Minorant: III, p. 9. Minorée (application —, partie —): III, p. 9. Modèle d’une théorie: I, p. 24. Moins fin (préordre —): III, p. 6. Moins fin (recouvrement —): II, p. 27. Moins fine (relation d’équivalence —): II, p. 45. Moins fine (structure —): IV, p. 13. Moins riche (structure —): IV, p. 9. Monotone (application —): III, p. 7. Morphisme: IV, p. 11. Mot: I, p. 42. Mot équilibré: I, p. 43. Mot significatif: I, p. 43. Mot vide: I, p. 42. Multiple d’un entier: III, p. 39. Multiple (suite —): III, p. 46. Mutuellement disjoints (famille d’ensembles —): II, p. 29.

Naturel (entier —): III, p. 30. Négation d’une relation: I, p. 18. Noethérien (ensemble —): III, p. 51. Nombre d’éléments d’un ensemble fini: III, p. 31. Numération (système de —): III, p. 41. Numérique (symbole —): III, p. 40.

Opposée (relation d’ordre —, relation de préordre —): III, p. 1 et p. 3. Ordinal: III, p. 77, exerc. 14. Ordinal initial: III, p. 87, exerc. 10. Ordinal initial régulier, singulier, inaccessible: III, p. 89, exerc. 16. Ordonné (ensemble —): III, p. 5. Ordonné (réseau —): III, p. 13. Ordre: III, p. 2. Ordre (bon —): III, p. 15. Ordre induit: III, p. 5. Ordre lexicographique: III, p. 23. Ordre produit: III, p. 6. Ordre total: III, p. 14. Ordre (relation d’—): III, p. 1. Origine d’un intervalle: III, p. 14 et p. 15. Ouvert (intervalle —, intervalle illimité —): III, p. 14 et p. 15.

Pair (entier —): III, p. 39. Paramètre: II, p. 17. Paramètres (ensemble des —): II, p. 17. Paramétrique (représentation —): II, p. 17. Parfaitement équilibré (assemblage —): I, p. 45.

Partie d’un ensemble: II, p. 2. Partie entière du quotient de deux entiers: III, p. 39. Partie pleine: II, p. 2. Partie saturée pour une relation d’équivalence: II, p. 43. Partiel (produit —): II, p. 33. Partielle (application —): II, p. 21. Parties (ensemble des —): II, p. 30. Partition d’un ensemble: II, p. 29 Passage aux sous-ensembles: II, p. 15. Passage aux ensembles quotients: II, p. 44 et p. 45. Permutation: II, p. 17. Permutation involutive: II, p. 17. Pleine (partie —): II, p. 2. Plus fin (préordre —): III, p. 6. Plus fin (recouvrement —): II, p. 27. Plus fine (relation d’équivalence —): II, p. 45. Plus fine (structure —): IV, p. 13. Plus forte (théorie —): I, p. 24. Plus grand, plus petit: III, p. 4. Plus grand élément, plus petit élément: III, p. 8. Plus riche (espèce de structure —): IV, p. 9. Poids d’un signe: I, p. 17. Premier terme d’une suite: III, p. 38. Première coordonnée d’un couple: II, p. 7. Première projection d’un couple: II, p. 7. Première projection d’un graphe: II, p. 9. Préordre: III, p. 4. Préordre moins fin, plus fin: III, p. 6. Préordre (relation de —): III, p. 2. Principaux (ensembles de base —): IV, p. 3 et p. 4. Principe de récurrence: III, p. 32. Principe de récurrence noethérienne: III, p. 51. Principe de récurrence transfinie: III, p. 18. Principe des bergers: III, p. 41. Procédé de déduction de structures: IV, p. 8. Produit cardinal: III, p. 25. Produit d’ensembles ordonnés, d’ensembles préordonnés: III, p. 6 et p. 7. Produit d’une famille d’ensembles: II, p. 32. Produit de deux ensembles: II, p. 8. Produit de deux recouvrements: II, p. 28. Produit de deux relations d’équivalence: II, p. 46. Produit lexicographique: III, p. 23. Produit ordinal de types d’ordre: III, p. 77, exerc. 13. Produit partiel: II, p. 33. Produit (ordre —, préordre —): III, p. 6 et p. 7. Produit (relation d’ordre —, relation de préordre —): III, p. 6 et p. 7. Produit (structure —): IV, p. 16. Projection (première —, seconde —) d’un couple: II, p. 7. Projection (première —, seconde —) d’un graphe: II, p. 9. Projection sur un ensemble facteur: II, p. 32. Projection sur un produit partiel: II, p. 33. Projective (limite —) d’une famille d’applications: III, p. 54. Projective (limite —) d’une famille d’ensembles: III, p. 52.

Prolongement d’un ordre, d’un préordre, d’une relation d’ordre, d’une relation de préordre: III, p. 5. Prolongement d’une application: II, p. 15. Proposition: I, p. 22. Propre (segment —): I, p. 43. Propriété de caractère fini: III, p. 34. Puissance du continu: III, p. 50. Puissance d’un ensemble: III, p. 23.

Quantificateur existentiel, — universel: I, p. 32. Quantificateur typique: I, p. 36. Quantifiée (théorie —): I, p. 33. Quotient de deux entiers: III, p. 39. Quotient (ensemble —): II, p. 41. Quotient (relation d’équivalence —): II, p. 46. Quotient (structure —): IV, p. 21.

Réciproque (application —): II, p. 17. Réciproque (correspondance —, graphe —): II, p. 11. Réciproque (image —) d’un ensemble: II, p. 11. Réciproque (image —) d’un recouvrement: II, p. 28. Réciproque (image —) d’une relation d’équivalence: II, p. 45. Réciproque (image —) d’une structure: IV, p. 15. Recouvrement d’un ensemble: II, p. 27. Recouvrement moins fin, plus fin: II, p. 27. Récurrence (hypothèse de —): III, p. 18 et p. 32. Récurrence (principe de —): III, p. 32. Récurrence à partir de k, récurrence descendante, récurrence limitée: III, p. 33 et p. 34. Récurrence noethérienne (principe de —): III, p. 51. Récurrence transfinie (principe de —): III, p. 18. Réduction à l’absurde (méthode de —): I, p. 27. Réduit à un seul élément (ensemble —): II, p. 4. Réflexive (relation —) dans un ensemble: II, p. 40. Relation: I, p. 18. Relation admettant un graphe: II, p. 9. Relation collectivisante: II, p. 3. Relation compatible avec une relation d’équivalence: II, p. 42. Relation compatible avec deux relations d’équivalence: II, p. 47. Relation d’appartenance: II, p. 1. Relation de bon ordre: III, p. 15. Relation déduite d’une relation par passage au quotient: II, p. 43. Relation d’égalité: I, p. 38. Relation d’équivalence: II, p. 40. Relation d’équivalence associée à une fonction: II, p. 41. Relation d’équivalence dans un ensemble: II, p. 40. Relation d’équivalence induite: II, p. 45. Relation d’équivalence moins fine, plus fine qu’une autre: II, p. 45. Relation d’équivalence produit: II, p. 46. Relation d’équivalence quotient: II, p. 46. Relation de préordre, relation de préordre dans un ensemble: III, p. 2 et p. 3. Relation d’inclusion: II, p. 2. Relation d’ordre entre x et y, relation d’ordre par rapport à x et y: III, p. 1. Relation d’ordre associée à une relation de préordre: III, p. 4. Relation d’ordre lexicographique: III, p. 23.

Relation d’ordre (resp. de préordre) opposée à une relation d’ordre (resp. de préordre): III, p. 1 et p. 3. Relation d’ordre total: III, p. 14. Relation entre un élément de $A$ et un élément de $B$: II, p. 10. Relation fausse, relation vraie: I, p. 22. Relation fonctionnelle: I, p. 41. Relation $\leqslant$ (resp. $\geqslant$, $\subset$, $\supset$): III, p. 4. Relation réflexive dans un ensemble: II, p. 40. Relation symétrique: II, p. 39. Relation transitive: II, p. 40. Relation transportable: IV, p. 3. Relation univoque: I, p. 40. Relations équivalentes: I, p. 31. Représentant dans une classe d’équivalence: II, p. 41. Représentants (système de —): II, p. 42. Représentation paramétrique: II, p. 17. Réseau booléien: III, p. 73, exerc. 17. Réseau ordonné: III, p. 13. Reste de la division de $a$ par $b$: III, p. 39. Restriction d’un système inductif: III, p. 65. Restriction d’un système projectif: III, p. 52. Restriction d’une fonction: II, p. 15. Réticulé (ensemble —): III, p. 13. Rétraction associée à une injection: II, p. 18. Réunion d’un ensemble d’ensembles, d’une famille d’ensembles: II, p. 22 et p. 24. Réunion d’une famille de parties: II, p. 22.

Saturé d’une partie, partie saturée pour une relation d’équivalence: II, p. 43 et p. 44. Schéma: I, p. 21. Schéma de construction d’échelon: IV, p. 1. Schéma de sélection et réunion: II, p. 4. Seconde coordonnée d’un couple: II, p. 7. Seconde projection d’un couple: II, p. 7. Seconde projection d’un graphe: II, p. 9. Section associée à une surjection: II, p. 18. Section d’un ensemble pour une relation d’équivalence: II, p. 42. Segment, segment d’extrémité $x$: III, p. 16. Segment d’un assemblage: I, p. 45. Segment d’un mot: I, p. 43. Segment initial, final, propre: I, p. 43. Sélection et réunion (schéma de —): II, p. 4. Semi-ouvert (intervalle —): III, p. 14. Signe: I, p. 14. Signe logique: I, p. 14. Signe spécifique: I, p. 14. Significatif (mot —): I, p. 43. Significative (suite —): I, p. 43. Solution d’un problème d’application universelle: IV, p. 23. Solution d’une relation: I, p. 40. Solution complète, solution générale: I, p. 40. Somme d’une famille d’ensembles: II, p. 30. Somme cardinale, somme de cardinaux: III, p. 25. Somme ordinaire de types d’ordre: III, p. 76, exerc. 13. Sous-ensemble: II, p. 2.

Sous-famille: II, p. 15. Sous-jacente (structure —): IV, p. 8. Spécifique (signe —): I, p. 14. Stationnaire (suite —): III, p. 50. Strict (majorant —): III, p. 20. Strictement croissante, strictement décroissante, strictement monotone (application —): III, p. 7. Strictement croissante, strictement décroissante (famille —): III, p. 7. Strictement inférieur, strictement supérieur: III, p. 5. Strictement moins fine, strictement plus fine (structure —): IV, p. 13. Strictement plus grand, strictement plus petit: III, p. 5. Structure déduite par un procédé de déduction de structures: IV, p. 8. Structure d’ensemble: IV, p. 5. Structure d’espèce $\sum$: IV, p. 4. Structure finale: IV, p. 19. Structure générique: IV, p. 4. Structure induite: IV, p. 16. Structure initiale: IV, p. 14. Structure moins fine, plus fine: IV, p. 13. Structure produit: IV, p. 16. Structure quotient: IV, p. 21. Structure sous-jacente: IV, p. 8. Structure strictement moins fine, strictement plus fine: IV, p. 13. Structure subordonnée: IV, p. 8. Structures comparables: IV, p. 13. Structures isomorphes: IV, p. 6. Subordonnée (structure —): IV, p. 8. Suite, suite d’éléments d’un ensemble: III, p. 45. Suite double, triple, multiple, $n$-uple: III, p. 46. Suite extraite d’une suite: III, p. 45. Suite finie, suite finie d’éléments d’un ensemble: III, p. 38. Suite obtenue en rangeant une famille dénombrable dans un ordre défini par une application: III, p. 46. Suite stationnaire: III, p. 50. Suites ne différant que par l’ordre des termes: III, p. 46. Supérieur: III, p. 4. Surjection, application surjective: II, p. 16. Symbole fonctionnel: I, p. 41. Symbole numérique: III, p. 40. Symétrique (graphe —): II, p. 11. Symétrique (relation —): II, p. 39. Système de numération, système décimal, système dyadique: III, p. 41. Système de représentants: II, p. 42. Système inductif d’applications: III, p. 63. Système inductif d’ensembles: III, p. 61. Système inductif de parties: III, p. 64 Système projectif d’applications: III, p. 54. Système projectif d’ensembles: III, p. 52. Système projectif de parties: III, p. 54.

Terme: I, p. 18. Terme (premier, $k$-ème, dernier —) d’une suite finie: III, p. 38. Terme d’indice $n$ d’une suite: III, p. 38. Terme intrinsèque: IV, p. 7.

Terme se mettant sous la forme $T$: I, p. 40. Terme vérifiant une relation: I, p. 22. Texte démonstratif: I, p. 22. Théorème: I, p. 22. Théorème de Cantor: III, p. 30. Théorème de légitimation: I, p. 29. Théorème de Zermelo: III, p. 20. Théorie: I, p. 14, p. 21 et p. 22. Théorie contradictoire: I, p. 22. Théorie d'une espèce de structure: IV, p. 4. Théorie des ensembles: II, p. 1. Théorie égalitaire: I, p. 38. Théorie logique: I, p. 25. Théorie plus forte qu'une autre: I, p. 24. Théorie quantifiée: I, p. 33. Théories équivalentes: I, p. 24. Total (ordre —): III, p. 14. Totalement ordonné (ensemble —): III, p. 13 et p. 14. Trace d'un ensemble, d'une famille d'ensembles: II, p. 27. Transformé d'un élément par une fonction: II, p. 14. Transitive (relation —): II, p. 40. Transportable (relation —): IV, p. 3. Triple (suite —): III, p. 46. Triplet: II, p. 9. Type d'ordre: III, p. 76, exerc. 13. Typification: IV, p. 3. Typique (quantificateur —): I, p. 36.

Univalente (espèce de structure —): IV, p. 7. Universel (ensemble —): IV, p. 22. Universel (quantificateur —): I, p. 32. Universelle (application —): IV, p. 22. Univoque (relation —): I, p. 40

Valeur d'une fonction: II, p. 13. Valeurs (ensemble des —) d'une correspondance, d'un graphe: II, p. 9 et p. 10. Vide (ensemble —): II, p. 6. Vide (fonction —): II, p. 14. Vraie (relation —): I, p. 22.

Zermelo (théorème de —): III, p. 20.