 The embedding is introduced by saying that for every , the continuous function on is defined by

The mapping is linear, and it is isometric by the Hahn–Banach theorem.Another generalization was given by Kleiber and Pervin (1969)