Un grupo puede definirse mediante generadores sujeto a restricciones (relaciones entre los generadores), lo que se representa como