 The bracket is not skew-symmetric as one can see from the third axiom.Instead it fulfills a certain Jacobi-identity (first axiom) and a Leibniz rule (second axiom).From these two axioms one can derive that the anchor map "ρ" is a morphism of brackets