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