Definition:Strictly Decreasing/Real Function

Definition
Let $f$ be a real function.

Then $f$ is strictly decreasing :
 * $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

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