El producto cartesiano de dos conjuntos A y B es un conjunto cuyos elementos son todos los pares ordenados que se pueden formar tomando un elemento de A y uno de B. Una relación binaria entre conjuntos A y B se representa mediante pares ordenados formados por un elemento de A y uno de B.