葉狀葉

設 為一個 -流形，並設 表示 的一個 劃分，劃分為 不相交 的 道路連通 子集。那麼如果 是 的一個 葉狀結構，則每個 稱為一個葉，並且不一定是閉的或緊的。