Foliación

Una descomposición de un espacio de tipo variedad en la unión disjunta de subvariedades conectadas e inmersas llamadas hojas, de modo que localmente el espacio es homeomorfo a un producto U × L y las hojas corresponden a las secciones {u} × L.