Definition:Supremum Metric on Continuous Real Functions