En este contexto, se define par ordenado como un conjunto particular de tal manera que su relación de igualdad sea la correcta.