Como los números racionales formula_117 son un subgrupo normal de los números reales con respecto a la suma, uno puede definir el "grupo cociente" formula_118, que es el co-conjunto de los numeros racionales como subgrupo de los reales con respecto a la adición.