Poincaré-Birkhoff-Witt-satsen är ett påstående som beskriver den universella omslutande algebra för en given Lie-algebra över ett fält med bas i ett vektorrum : elementen och ( ) bildar en bas i ett linjärt rum . I synnerhet är mappningen en inbäddning i , det vill säga kärnan i mappningen är [1] [2] [3] .