In the definition above ι : H R → M is the inclusion map and the superscript star denotes the pullback. The present purpose is to describe this and similar operations as a preparation for the actual demonstration that H R actually is a hyperbolic space.