Feuilletage

Une décomposition d'un espace topologique de type variété en réunion disjointe de sous-variétés connexes et injectivement immergées appelées feuilles, de sorte que localement l'espace soit homéomorphe à un produit U × L avec les feuilles correspondant aux tranches {u} × L.