A Poisson structure on a smooth manifold M{\displaystyle M} is a Lie bracket {⋅,⋅}{\displaystyle \{\cdot ,\cdot \}} (called a Poisson bracket in this special case) on the algebra C∞(M){\displaystyle {C^{\infty }}(M)} of smooth functions on M{\displaystyle M}, subject to the Leibniz Rule