By verifying the axioms, it can be shown that any subspace of a metric space itself becomes a metric space by restricting the domain of to . This conveniently provides metrics on any of the manifolds and varieties from Chapter 4 by simply using any metric on , the space in which the manifold or variety is embedded.