Frobenius theorem
One can also express the condition for a foliation to be defined as a reduction of the tangent bundle to a block matrix subgroup - but here the reduction is only a necessary condition, there being an "integrability condition" so that the Frobenius theorem applies.