En matemáticas, un par ordenado es un par formula_1 de objetos formula_2 y formula_3 tal que si formula_4 es otro par ordenado, formula_5 y formula_4 serán iguales si y solo si formula_7 y formula_8.