El producto cartesiano de dos conjuntos A y B se representa como A x B y consiste en todos los pares ordenados que se pueden formar tomando un elemento de A como la primera componente y un elemento de B como la segunda componente. Puede representarse gráficamente mediante diagramas de flechas o cartesianos.