Si "f" es una función real diferenciable sobre "X", entonces ∇"f" es una sección del fibrado cotangente T*"X" y como tal, podemos construir una correspondencia de "X" sobre "Y".