strictly decreasing function

[ریاضیات] تابع اکیدا نزولی، تابع نزولی اکید