Elk element heeft een symmetrisch element voor de optelling.
De optelling is intern.
De optelling is commutatief.
De optelling is associatief.
De optelling heeft een neutraal element.
(a+b)+c = a+(b+c) = a+b+c
a+0 = a = 0+a
a+(-a) = 0 = (-a)+a
a+b = b+a
Voor alle a en b die een reëel getal zijn, geldt dat a+b ook een reëel getal is.