Definition:Total Variation/Real Function