The Tietze's extension theorem:

We shall make occasional use of this in the sequel. Since we need it for the special case of metric spaces, we shall state the theorem in this context.