Riemannian manifold
formula_28は、リーマン多様体(あるいは擬リーマン多様体)であり、formula_29 (C 写像)によって、ユークリッド空間 formula_30 に、埋め込まれているものとする。但し、この埋め込みは、以下の性質を両方充たしているものとする。