a+b=b+a
a+(b+c)=(a+b)+c
a+0=a
a+(-a)=0

ab=ba
a(bc)=(ab)c
a(b+c)=ab+ac
a\cdot 1=a
a\cdot a^{-1}=1

a>0, a<0 or a=0
a>0, b>0 => a+b>0 ja ab>0