 Local isometry

A local isometry is a smooth map whose differential preserves the inner product on every tangent space. It preserves intrinsic quantities such as Gaussian curvature.