Uno puede también expresar la condición para una foliación que se definirá como reducción del fibrado tangente a un subgrupo de matrices de bloque - pero aquí la reducción es solamente una condición necesaria, habiendo una condición de integrabilidad de modo que se aplique el teorema de Frobenius.