[= monotonic; not: “monotonous”
the monotone convergence theorem
[Note that the term decreasing function is preferable to “monotone decreasing function''.]