Pour chaque a dans R, il existe un élément b dans R tel que a + b = b + a = 0 5.
Pour chaque a dans R, il existe un élément - a en R tel qu'un + -LRB- - a -RRB- = 0, où 0 est l'élément d'identité additif.