Jacobi identity

Short definition from Wiktionary

Noun

1. 1
   Given a binary operation × defined on a set S which also has additive operation + and additive identity 0, the property that a × (b×c) + b × (c×a) + c × (a×b) = 0 for all a, b, c in S.