Definition:L1 Metric on Closed Real Interval