surjection
31Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …
32Ensemble quotient — Relation d équivalence La notion de relation d équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d éléments qui… …
33Relation d'equivalence — Relation d équivalence La notion de relation d équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d éléments qui… …
34Relation d'équivalence — En théorie des ensembles, la notion de relation d équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d éléments… …
35Axiome du choix — En mathématiques, l axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles. Sommaire 1 Énoncé 1.1 Autres formulations 2 Énoncés équivalents …
36Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… …
37Injective function — Injective redirects here. For injective modules, see Injective module. An injective function (is not a bijection) …
38Enumeration — In mathematics and theoretical computer science, the broadest and most abstract definition of an enumeration of a set is an exact listing of all of its elements (perhaps with repetition). The restrictions imposed on the type of list used depend… …
39Hausdorff space — In topology and related branches of mathematics, a Hausdorff space, separated space or T2 space is a topological space in which distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space …
40Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …
