is a Hopf algebra

1 triples
GPTKB property