加法、乘法运算律的定义