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.

Last revised on June 28, 2019 at 00:49:20. See the history of this page for a list of all contributions to it.