Foliations (differential geometric aspects) Global differential geometry mathematics