Concept
Ensemble des parties d'un ensemble
Concepts associés (23)
Symmetric difference
In mathematics, the symmetric difference of two sets, also known as the disjunctive union, is the set of elements which are in either of the sets, but not in their intersection. For example, the symmetric difference of the sets and is . The symmetric difference of the sets A and B is commonly denoted by or The power set of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element of the group and every element in this group being its own inverse.
Paradoxe de Cantor
Le paradoxe de Cantor, ou paradoxe du plus grand cardinal, est un paradoxe de la théorie des ensembles dont l'argument a été découvert par Georg Cantor dans les années 1890. On le trouve dans sa lettre adressée à David Hilbert, datée de 1897. Il est appelé ainsi par Bertrand Russell dans ses Principles of Mathematics de 1903. Le paradoxe énonce que l'existence d'un plus grand cardinal conduit à une contradiction.
Axiome de l'ensemble des parties
En mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel. L'axiome affirme l'existence pour tout ensemble E, d'un ensemble auquel appartiennent tous les sous-ensembles de E, et seulement ceux-ci. Un tel ensemble est nommé ensemble des parties de E, d'où le nom de l'axiome. Cet axiome s'écrit dans le langage formel de la théorie des ensembles, qui est un langage égalitaire du premier ordre avec la relation d'appartenance comme seul symbole primitif non logique.