PAR ORDENADO

Definición:

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un primer elemento y un segundo elemento. El par ordenado cuyo primer elemento es a y cuyo segundo elemento es b se denota como (a, b).

Un par ordenado (a, b) no es el conjunto que contiene a a y b, {a, b}. Un conjunto está definido únicamente por sus elementos, mientras que en un par ordenado el orden de estos es también parte de su definición.

Por ejemplo, los conjuntos {0, 1} y {1, 0} son idénticos, pero los pares ordenados (0, 1) y (1, 0) son distintos.

si A = {1,2,3} y B={x, y}, 
AxB = [(1,x),(1,y),(2,x),(2,y),(3,x),(3,y)}