减法性质、除法性质是什么?