Definition:Strictly Decreasing/Real Function

From ProofWiki
Jump to navigation Jump to search


Let $f$ be a real function.

Then $f$ is strictly decreasing if and only if:

$x < y \implies \map f y < \map f x$

Also known as

A strictly decreasing (real) function is also known as a strictly order-reversing (real) function.

Some sources give it as a strictly monotonic decreasing function

Also see