叶状叶

设 为一个 -流形，并设 表示 的一个 划分，划分为 不相交 的 道路连通 子集。那么如果 是 的一个 叶状结构，则每个 称为一个叶，并且不一定是闭的或紧的。