Category:Decreasing Real Functions

This category contains results about Decreasing Real Functions.
Definitions specific to this category can be found in Definitions/Decreasing Real Functions.

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$.