>>216の等式
[x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0
を Jacobiの等式と呼ぶ。