类型:减法