universalEnvelopingAlgebra
P163476
predicate
Indicates that one algebra is the universal enveloping algebra constructed from a given Lie algebra, capturing all associative algebra representations of that Lie algebra.