Más formalmente, una foliación "F" de dimensión "p" o foliación "p"-dimensional de una variedad "M" es un recubrimiento topológico, formado por conjuntos "U" y equipado además con aplicaciones: