Poincaré-Birkhoff-Witt teorém je tvrzení popisující univerzální obalovou algebru pro danou Lieovu algebru nad polem se základem ve vektorovém prostoru : prvky a ( ) tvoří základ v lineárním prostoru . Mapování je konkrétně vložení do , to znamená, že jádro mapování je [1] [2] [3] .