The Jacobi identity of a bilinear [[map]] $[\cdot, \cdot]$ is given by: $[[X,Y],Z] + [[Y,Z],X] + [[Z,X],Y] = 0$ An example of such a map is the [[commutator]].