Definition:Supremum Metric on Bounded Real Functions on Closed Interval