Como expresión matemática rigurosa, los campos vectoriales se definen en variedades diferenciables como secciones del fibrado tangente de la variedad.