"El primer camino para alcanzar la estructura de grupo", se inicia desde un magma, que es la estructura que tiene un conjunto M no vacío y un operador interno: