Consiste de dos elementos, digamos a y b, de los cuales uno, digamos a, es designado como primer elemento y el otro como según elemento. Un par ordenado es designado por (a,b). Dos pares ordenados (a,b) y (c,d) son iguales si, y solamente si, a = c y b = d (a,b) = (c,d) ↔ (a = c y b = d)
Ex 1: los pares ordenados (2,3) y (3,2) son diferentes.
Ex 2: pares ordenados pueden tener los primeros y segundos elementos idénticos tales como: (1,1),(5,5) y (7,7)