共变外导数.对"G"的任何线性表示"W"，有一个"M"上的配向量丛formula_12，一个主联络诱导了这个向量丛上一个共变导数。这个共变导数可利用formula_12在"M"上截面的空间同构于"P"上"G"-等变"W"-值函数的事实来定义。更一般地，取值于formula_12的"k"-形式之空间等同于"P"上"G"-等变且水平的"W"-值"k"-形式之空间。如果"α"是这样一个"k"-形式，则其外导数d"α"，尽管"G"-等变，但不再水平。不过，复合d"α"+"ω"Λ"α"却是。这样定义了一个外共变导数