Llamamos producto cartesiano de A y B al conjunto denotado por A x B y que está formado por todos los pares ordenados (a,b), donde a es un elemento de A y b es un elemento de B.