Which is the name for an associative algebra, which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e., $$[a, b \circ c]=[a,b]\circ c+b\circ [a,c],$$ where $[,]$ is the Lie algebra commutator (Lie bracket) and $\circ$ is the multiplication in our algebra? Note that if the multiplication $\circ$ is commutative, then such an algebra is called a *Poisson algebra*.