Definition of "isometry"