Assertion: trace | /r/HasProperty | the counit
Facets:
Source sentences:
text: In the language of bialgebras, scalars are the unit, while trace is the counit.