>>765
ＬはＸで生成されるリー代数とする。埋め込みをi:Ｘ→Ｌとする。
このときＬがＸ上フリーであるとは、任意のj:Ｘ→Ｍ(Ｍはリー代数)に対して、
リー代数の準同型φ:Ｌ→Ｍが唯一つ存在して、j=φ･iとなるときをいう。
(Humphreysの94、95ページ参照)