• 若 ,则称该约束为单调递减约束