Definition (Isometric copy). We say X′ is an isometric copy of X if there exists ϕ:X→X′ bijection such that d(x,y)=d(ϕ(x),ϕ(y)).