"n" 次元微分可能多様体 "m" の座標近傍系 "s" ＝{("u"λ, φλ)| λ ∈ λ}の任意の2つの座標近傍("u"1, φ1),