En realidad existen varias definiciones de par ordenado dentro de la teoría de conjuntos, aunque la más común, y la que usaremos aquí, es aquella donde el par ordenado formula_9 se define por