运算定律及性质