Definition:Strictly Monotone/Real Function
From ProofWiki
in the process of being refactored, or:
has been identified as a candidate for refactoring. In particular:
Reword so that the sense of this page is self-contained.
Until this has been finished, please leave {{refactor}} in the code.
Definition
This definition continues to hold when $S = T = \R$.
Thus, let $f$ be a real function.
Then $f$ is strictly monotone iff it is either strictly increasing or strictly decreasing.
Notes
This can also be called strictly monotonic.
