isometry between Riemannian manifolds; smooth map such that the pullback of the codomain metric tensor is the domain metric tensor