嚴格遞減函式

函式 被稱為在 區間 上嚴格遞減，如果對於所有 滿足 ，其中 。另一方面，如果對於所有 滿足 ，則該函式被稱為（非嚴格）遞減。