严格递减函数

函数 被称为在 区间 上严格递减，如果对于所有 满足 ，其中 。另一方面，如果对于所有 满足 ，则该函数被称为（非严格）递减。