Si formula_11 es una aplicación continua y exahustiva entre variedades y formula_12 es una foliación sobre formula_13, entonces la aplicación anterior induce una foliación sobre formula_14("pull-back" de la aplicación anterior).