Definition:Total Variation