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.