Petunjuk F.6.1.

Domain dan kodomain memakai metrik yang sama, sehingga \(d(i_X(x),i_X(a))=d(x,a)\text{.}\)
in-context