is a universal enveloping algebra

1 triples
GPTKB property