Let $(L,F)$ be a vector space with a binary operation $L\times L \to L$ denoted $(x,y) \mapsto [xy]$. This operation is called the bracket or commutator of $x$ and $y$. The vector space together with the operation is a Lie algebra over the field $F$ if
The last axiom is called the Jacobi identity.
Wikidata ID: Q664495