Go backward to MonotonicityGo up to TopGo forward to Illustration |

*Definition:*
`f` is
*monotonically decreasing* if every element of
`f` is greater than or equal the next element:

fis monotonically decreasing : <=>f:N->R/\foralliinN:f_{i}>=f_{i+1}.

`f` is
*strictly monotonically decreasing*
if every element of
`f` is greater than the next element:

fis strictly monotonically decreasing : <=>f:N->R/\foralliinN:f_{i}>f_{i+1}.

Author: Wolfgang Schreiner

Last Modification: December 14, 1999