ormula_2上，且处处不为0，其积分曲线给出一个1维叶状结构。(也就是余维"n-1"的叶状结构).这个事实可以推广到Ferdinand Georg Frobenius(弗罗贝尼乌斯)的一个定理 (Frobenius定理), 它说一个分布(也就是，切丛的一个"n-p"维子丛)和一个叶状结构的叶相切的充分必要条件是和该分相切的向量场的集合在李括号下封闭。也可以用不同的表达，把它作为切丛的结构群从formula_29到一个可归约子群的约化(reduction)。Frobenius定理的条件象可积性条件