En esas condiciones el conjunto de los racionales es el conjunto de clases de equivalencia en que el conjunto de las fracciones queda dividido formula_2.