Defintion of isometry