Let consider a Poisson algebra P with Poisson bracket $\{,\}$. Let consider a derivation map $d_{a}: P \to P$ defied by $d_{a}=\{a,x\}$ for $a \in P$ which is both a Lie algebra and associative algebra derivations. What is called this type pf derivation? Is it called
Hamiltonian derivation ?