Definition:Total Variation/Measure Theory