A Poincaré-Birkhoff-Witt-tétel egy állítás, amely leírja az univerzális burkológörbe-algebrát egy adott Lie-algebrára egy vektortérbeli bázisú mező felett : a és ( ) elemek bázist képeznek egy lineáris térben . Konkrétan a leképezés egy beágyazás -ba , vagyis a leképezés magja [1] [2] [3] .