Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Horizontaler Schnitt/Vertikale Ableitung/Fakt
Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei.
Dann ist ein stetig differenzierbarer Schnitt auf einer offenen Menge genau dann horizontal, wenn seine vertikale Ableitung ist.