En foliering av en n-dimensionell mångfald utgörs av disjunkta s.k. blad, vilka är sammanhängande delmångfalder av dimension r som fyller ut mångfalden på ett sådant sätt att man lokalt kan finna koordinater x₁, x₂, x₃, ..., x_n så att bladen är