nLab leaf

Idea

In topology, given a covering space $E \to X$, then the elements of the set $F$ for $E\vert_U \simeq U \times F$ are called the leaves over the covering.

In differential geometry, a foliation consists of submanifolds. Each of them is called a leaf of the foliation.

In combinatorics, the ends of trees are called “leaves”.

Related concepts

• Bohr-Sommerfeld leaf
• symplectic leaf

categgory: disambiguation