Par ordenado

• Un par ordenado una tupla (lista con un numero limitado de objetos) de dos elementos, tal que uno puede ser distinguido como el primero y el otro como el segundo. 
• Un par ordenado con primer elemento a y con segundo elemento b es escrito usualmente como (a, b). 
• Dos pares ordenados cumplen:

(a, b) = (c, d) si y sólo si a = c y b = d

• El conjunto de todos los pares ordenados en los cuales el primer elemento se toma de un conjunto X determinado y el segundo de un conjunto Y se llama producto cartesiano de X e Y, escrito .