En
matemáticas, el
producto cartesiano de dos
conjuntos es una
operación, que resulta en otro conjunto, cuyos
elementos son todos los
pares ordenados que pueden formarse tomando el primer elemento del par ordenado del primer conjunto y el segundo elemento del par ordenado del segundo conjunto.