普遍包絡代数
（普遍）包絡代数（ふへんほうらくだいすう、, ）あるいは（普遍）展開代数とは、任意のリー代数 formula_1 から構成される、ある性質を満たす単位的結合代数 formula_2 と準同型写像 formula_3 の組 formula_4 のことをいう。