Definition:Total Variation of Complex Measure