- Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes.
En
mathématiques, le
produit cartésien de deux
ensembles X et
Y, appelé
ensemble-produit, est l'ensemble de tous les
couples, dont la première composante appartient à
X et la seconde à
Y. On généralise facilement la notion de produit cartésien binaire à celle de produit cartésien fini, qui est alors un ensemble de
multiplets, on dit
n-uplets pour les éléments d'un produit cartésien de
n ensembles. On peut aussi introduire la notion de
somme disjointe (ou
cartésienne). Pour généraliser aux
produits cartésiens infinis, des produits d'une
famille quelconque (éventuellement infinie) d'ensembles, on a besoin de la notion de fonction.