Produit cartésien

(On dit aussi ensemble-produit) Etant donnés deux ensembles A et B, le produit cartésien de ces deux ensembles est l'ensemble des couples (a, b) avec a appartenant à A et b appartenant à B.

On peut généraliser cette notion au produit cartésien de n ensembles. Ce produit est l'ensemble des n-uplets dont les composantes appartiennent à n ensembles.