Formalmente, lo anterior significa que el conjunto G consiste de productos formales de expresiones formadas por potencias de los generadores.