リー代数
唯一のリー代数は、可換リー代数 R0 である。