Definition:Non-Negative Real Function