Poincaré–Birkhoff–Witt theorem

Also known as Poincare–Birkhoff–Witt theorem, PBW theorem

explicitly describes the universal enveloping algebra of a Lie algebra