Wiki. “Poincaré–Birkhoff–Witt 定理” [Poincaré--Birkhoff--Witt定理]

见泛包络代数.