Un subespacio métrico formula_54 de un espacio métrico formula_55 es subespacio topológico del espacio topológico formula_56, donde formula_57 es la topología en formula_58 inducida por formula_4.