# Definition:Strictly Decreasing/Real Function

## Definition

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