Denotaremos por formula_26 al conjunto cociente formula_27, y por formula_28 a la clase de equivalencia del par ordenado formula_29.