Le relèvement complet d'un champ de vecteurs de est le champ de vecteurs de défini par
Dans une carte canonique, avec des notations familières, l'expression locale de s'écrit
On peut aussi vérifier la proposition précédente en calculant en coordonnées locales à l'aide des deux formules (12) et (13).