Definition, synonyms and related words
A structure that is simultaneously a unital associative algebra and a counital coassociative coalgebra, equipped with an antiautomorphism satisfying a certain property.