리 초대수
가환환 formula_1 위의 리 초대수 formula_16의 부분 리 초대수(部分Lie初代數, ) formula_17는 리 초괄호에 대하여 닫힌 formula_1-부분 가군이다. 즉,