un subfibrado de dimensión "n - p" del fibrado tangente) sea tangene a las hojas de una foliación, son que el conjunto de campos vectoriales tangentes a la distribución sea cerrado bajo el paréntesis de Lie.