vector space which is both a unital associative algebra and a counital coassociative coalgebra in a compatible way