Estas ideas son suficientes para dar la definición de una presentación de grupo: