El producto cartesiano de dos conjuntos A x B es el conjunto de todos los pares ordenados que se pueden formar con un elemento perteneciente al conjunto A y un elemento del conjunto B.

Los elementos de A x B son pares ordenados. Cada par que se forma con un elemento del conjunto A y uno del conjunto B, en ese orden y recibe el nombre de par ordenado. Sus elementos se colocan entre paréntesis, separados por coma.

Como ejemplo: