Opération ensembliste
- REDIRECT
=Union=
union, union disjointe, lien avec le ou logique
=Intersection=
définition, lien avec le et logique
=Ensemble des parties=
définition, introduction de la notation
=Produit cartésien=
définition, différence entre produit cartésien dénombrable et non-dénombrable, axiome du choix, méthode diagonale de Cantor
Voir produit cartésien
=Exponentiation=
On définit , comme étant l'ensemble des applications de dans .
On peut donc voir l'ensemble des parties d'un ensemble comme étant ; cela revient en effet à identifier chaque partie à son indicatrice.
On peut aussi considérer le produit cartésien comme étant l'ensemble .