For a set with addition and product (X,Y) ↦[X,Y] defined, the identity [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0. The identity is satisfied by the vector sum and vector product, by the sum and commutator product [X,Y] = XY − YX for n×n matrices, and in Lie algebras.