Supremum Metric on Bounded Real Functions on Closed Interval is Metric/Proof 1

Proof
The interval is an instance of a set.

Hence Supremum Metric on Bounded Real-Valued Functions is Metric can be directly applied.