Let M be a C∞ manifold of
dimension m and E an integrable subbundle (foliation) of the tangent bundle TM.
We are interested in structures on the set of all local integrals of E. For
example, if M is a symplectic manifold then the Poisson brackets operation on
the set Cloc∞ of all local functions of M defines an algebraic structure on
Cloc∞. Earlier authors have called such structures “function groups.” In
particular, if XH is a nonvanishing Hamiltonian vector field, then XH defines a
foliation E of M and the set of all local integrals of E is also a function
group.