Para alcanzar mediante construcción la estructura de grupo, es necesario que el operador establecido sea interno o lo que es lo mismo, que el conjunto G para el operador esté clausurado.