Poincarén-Birkhoff-Wittin lause on lause, joka kuvaa yleistä vaipanalgebraa tietylle Lie-algebralle kentässä , jonka kanta on vektoriavaruudessa : alkiot ja ( ) muodostavat kannan lineaarisessa avaruudessa . Erityisesti kartoitus on upotus , eli kartoituksen ydin on [1] [2] [3] .