Category:Supremum Metric on Bounded Real-Valued Functions is Metric