减法运算性质是什么