Definition:Increasing Real Function