Assiomi : \ Operazioni :

addizione

moltiplicazione

commutatività

a + b = b + a

x · y = y · x

associatività

(a + b) + c = a + ( b + c )

( x · y ) · a = x · ( y · a )

neutralità

0 + a = a

1 · a = a

simmetricità

a + ( -a ) = 0

x · ( 1/x ) = 1     ( x ≠ 0 )

distributività del moltiplicatore

x · ( a + b )   =   x · a + x · b

distributività del moltiplicando

( x + y ) · a   =   x · a + y · a