Dado un campo vectorial que no se anula nunca, definido sobre una variedad diferenciable formula_15 de dimensión "n", sus curvas integrales forman una foliación 1-dimensional (es decir, una foliación de codimensión "n"-1).