En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.