" → "N" 是光滑流形间的光滑映射。那么 "φ" 的前推："φ" = d"φ" （或 "Dφ"），是从 "M" 的切丛 "TM" 到拉回丛 "φ""TN" 的（在 "M" 上）向量丛同态。从而 "φ" 的转置是从 "φ""T""N" 到 "M" 的余切丛"T""M" 的丛映射。现在假设 "α" 是 "T""N" 的一个截面（"N" 上一个 1-形式），将 "α" 与 "φ" 前复合得到 "φ""T""N" 的一个拉回截面。将上述（逐点）丛映射应用到截面导致 "α" 由 "φ" 的拉回，是 "M"