Définition : Soient A et B deux ensembles, on appelle produit cartésien de A et B, l'ensemble des couples (a,b), tels que a appartient à A et b appartient à B:

Exemples :

ce qui s'écrit