Par ordenado

Se llama par ordenado a un conjunto formado por dos elementos y un criterio de ordenación que establece cuál es primer elemento y cuál el segundo. 

Un par ordenado de componentes a, b es el conjunto {{a}, {a,b}} y se denota (a, b).