1) + = + - коммутативность.
2) + ( + ) = ( + )+
3) + =
4) +(-1) =
5) (a×b) = a(b ) – ассоциативность
6) (a+b) = a + b - дистрибутивность
7) a( + ) = a + a