[?] è un’applicazione che ad ogni coppia di numeri reali a, b, fa corrispondere un , che si indica con a + b, con le proprietà:
- Per ogni a, b appartenenti ad R si ha a + b = b + a ()
- Per ogni a, b, c appartenenti ad R si ha (proprietà associativa della somma); si può dunque scrivere senza ambiguità a + b + c
- Esiste un unico elemento 0 tale che per ogni , .
- Per ogni a appartenente ad R esiste un unico opposto -a tale che a +(-a) = 0 .
In genere, si scrive b-a invece di b+ (-a)