リー環は[[ヤコビ恒等式]]を満足する[[反交換法則|交代的]]な乗法を持つ[[非結合環]]として定義される。