leaf

Let M^n be an n-manifold and let F = {F_α} denote a partition of M into disjoint pathwise-connected subsets. Then if F is a foliation of M, each F_α is called a leaf and is not necessarily closed or compact.