nLab leaf




In topology, given a covering space EXE \to X, then the elements of the set FF for E| UU×FE\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.