Definition:Supremum Metric/Bounded Real-Valued Functions