If F and G are smooth functions on M then the smooth function ω (J (dF), J (dG)) is properly defined; it is called a Poisson bracket of functions F and G and is denoted { F, G }. The Poisson bracket has the following properties: