# Definition:Decreasing/Real Function

## Definition

Let $f$ be a real function.

Then $f$ is decreasing if and only if:

$x \le y \implies \map f y \le \map f x$.

## Also known as

Some sources give this as monotonic decreasing function.