M" 是 "E"（相伴的）标架丛。"E" 通过 "π" 的拉回同构于平凡丛 F("E") × R。从而，"M" 上一个 "E"-值形式的拉回决定了 F("E") 上一个 R-值形式。不难检验这个拉回形式关于 GL(R) 在 F("E") × R 上的自然作用左等变，且在铅直向量取值上为零（F("E") 位于核 d"π" 中的切向量）。F("E") 上这样的向量值形式之重要足以获得一个特别的名字：他们被称为 F("E") 上的基本或张量性形式。设 "π" : "P" → "M" 是一个（光滑）主 "G"-