Definition:Monotone Real Function