Producto Cartesiano

El producto cartesiano de 2 conjuntos es una operacion, 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.