Par Ordenado

Un par ordenado es una tupla 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 .