En matemáticas, una foliación es una partición en subvariedades diferenciables de otra variedad diferenciable (de tal modo que todas las subvariedades que conforman la foliación son de la misma dimensión "m", siendo "m" menor que la dimensión de la variedad original).