Pemeriksaan C.11. Penguasaan 5: menarik kembali metrik melalui injeksi.
Misalkan \((Y,d_Y)\) ruang metrik dan \(f:X\to Y\) injektif. Buktikan bahwa \(d_X(x,x')=d_Y(f(x),f(x'))\) mendefinisikan metrik pada \(X\text{.}\) Jelaskan tepat di mana injektivitas dipakai.