リーマン多様体
("M","g") を[[リーマン多様体]] とすると、一意に "M" 上のアフィン接続 ∇ が存在し、次の性質を持つ。