Nom que hom acostuma a donar a l’element invers en una estructura algèbrica associativa: x*(y*z) = (x*y)*z, commutativa: x*y = y*x i amb un element neutre, i hom sol designar-la per 0.
Normalment, l’operació * és designada aleshores per + i l’invers OOO d'x, per −x.