Teorema Poincaré-Birkhoff-Witt este o afirmație care descrie algebra de anvelopă universală pentru o algebră Lie dată pe un câmp cu o bază într-un spațiu vectorial : elementele și ( ) formează o bază într-un spațiu liniar . În particular, maparea este o încorporare în , adică nucleul mapării este [1] [2] [3] .