리 대수
자유 리 대수의 부분 리 대수.