" 上所有李代数值形式成为一个分次李超代数。
主丛上的基本或张量性形式.设 "E" → "M" 是 "M" 上一个秩 "k" 光滑向量丛，"π" : F("E") → "M" 是 "E"（相伴的）标架丛。"E" 通过 "π" 的拉回同构于平凡丛 F("E") × R。从而，"M" 上一个 "E"-值形式的拉回决定了 F("E") 上一个 R-值形式。不难检验这个拉回形式关于 GL(R) 在 F("E") × R 上的自然作用左等变，且在铅直向量取值上为零（F("E") 位于核 d"