Proposição Seja  uma operação interna em A, associativa e admite elemento neutro e, então podemos concluir que: a) Todo elemento x  A admite um ...

Proposição Seja  uma operação interna em A, associativa e admite elemento neutro e, então podemos concluir que:

a) Todo elemento x  A admite um único simétrico.
b) O simétrico do simétrico, de um elemento x  A, é o próprio x.
c) Se x e y são elementos simetrizáveis em A e seus respectivos simétricos são x' e y', então x  y é simetrizável e seu simétrico é y'  x'.