nand Georg Frobenius(弗罗贝尼乌斯)的一个定理 (Frobenius定理), 它说一个分布(也就是，切丛的一个"n-p"维子丛)和一个叶状结构的叶相切的充分必要条件是和该分相切的向量场的集合在李括号下封闭。也可以用不同的表达，把它作为切丛的结构群从formula_29到一个可归约子群的约化(reduction)。Frobenius定理的条件象可积性条件一样；它断言如果那些条件满足归约可以发生因为满足所需的块结构的局部变换函数存在。这是一个全局叶状结构理论，因为有拓扑约束存在。例如