Existe
todavía otra operación para construir conjuntos a partir de unos dados; ésta
operación lleva implícita la noción de “par ordenado”. Por ejemplo, un punto
en el plano cartesiano, lo podemos denotar como un par ordenado (x,y) y va corresponder de manera única
a ese punto, de ´esta manera si se escribe un punto de la forma (3,5) significa que con respecto a punto
de referencia el punto esta´ ubicado a 3 unidades a la derecha y 5 unidades
hacia arriba.
La noción de pares ordenados se pueden
generalizar a cualquier conjunto, sin necesidad de que sean conjuntos
numéricos. Dados dos conjuntos A y B, se define su producto cartesiano A × B como el conjunto de todos los pares
ordenados (a,b) para los cuales a es un elemento de A y b es un elemento de B. Formalmente
A × B = {(a,b)|a ∈ A y b ∈ B}