图表交换：利用 Sweedler 记号，此定义亦可表为对极映射可理解为 formula_6 对卷积之逆，故其若存在必唯一。当 formula_7，则称 formula_8 为对合的；交换或余交换霍普夫代数必对合。根据定义，有限维霍普夫代数的对偶空间也带有自然的霍普夫代数结构。
例子.群代数. 设 formula_9 为群，可赋予群代数 formula_10 下述霍普夫代数结构：有限群上的函数. 设 formula_9 为有限群，置 formula_15 为所有 fo