Category:Definitions/Total Variation of Real Function on Closed Bounded Interval