the inverse of an associative multiplication is a coassociative comultiplication

• monoid