Como este grupo es un grupo respecto a las mismas operaciones del grupo formula_92 se dice que es un "subgrupo" de los Enteros con la suma.