leaf

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.

Revised on July 1, 2017 10:36:34
by Urs Schreiber
(88.77.226.246)