 Isometric embedding

An isometric embedding $f:X\to Y$ between metric spaces is an injective function satisfying $d_Y(f(x),f(x^{\prime }))=d_X(x,x^{\prime })$ for all $x,x^{\prime }\in X$.