Definition:Decreasing/Real Function

Definition
Let $f$ be a real function.

Then $f$ is decreasing :
 * $x \le y \implies \map f y \le \map f x$.

Also known as
Some sources give this as monotonic decreasing function.

Also see

 * Definition:Strictly Decreasing Real Function
 * Definition:Increasing Real Function
 * Definition:Monotone Real Function