Para todo a en A, existe el simétrico por la izquierda de a en A, que cumple que operando el simétrico de a con a, el resultado es el elemento neutro: e, en el conjunto A, para la ley de composición interna.