Equation Icon  ([x,y]|z ) = (x |[y,z]) ∀ x,y,z ∈ 𝔤. (4.37 )