A partir de aquí, cuando los elementos del bucle puedan asociarse entre sí mediante el operador, verificando así la propiedad asociativa, el bucle se transforma en un grupo.