Definition:Total Variation of Real Function