をn次元可微分多様体， をr次元ベクトル束， ( はファイバー)とし，とする．また を局所座標近傍系， に対し とする． を局所的切断とする．つまり 局所標構場とするとき， ( は標準基底)とする．ここでとすると，全単射となる．Proposition1 の部分集合 が…