Definition

Consider a set , a metric space , and the set of all bounded continuous functions on to . Then, the supremum metric on is defined as