减法运算性是什么