Poincaré-Birkhoff-Witt theorem

Etymology
Named after Henri Poincaré, Garrett Birkhoff, and Ernst Witt.

Proper noun

 * 1)  A result giving an explicit description of the universal enveloping algebra of a Lie algebra.