Fiind data o multime M, si o lege de compunere ''*'' definita pe M, se determina elementul neutru din M, fata de legea data (adica elementul e∈M, care satisface relatia: x*e=e*x=x, pentru orice element x din M, care daca exista e unic). Daca pentru un element y∈M exista un element y'∈M astfel incat y*y'=y'*y=e,(care e unic) spunem ca elementul y' este simetricul, sau inversul elementului y fata de legea de compunere data si y este simetricul lui y'. Notiunea se defineste in clasa a XII la struturi algebrice.
