Lie bracket
定义李括号formula_17为