Definition:Total Variation of Real Function on Closed Bounded Interval