任意带乘法单位元的 formula_3-结合代数 formula_5，定义括积 formula_6，可视 formula_5 为李代数。泛包络代数系指带单位元的结合代数 formula_2 及一个指定的李代数同态 formula_9。这对资料由下述泛性质刻划：对任意带乘法单位元的 formula_3-结合代数 formula_11， 若存在李代数同态则存在唯一的代数同态使之满足换言之，函子 formula_15 满足下述关系：借此，可视 formula_18 为 formula_5（单位