Poisson bracket
The Poisson bracket must satisfy the identities