。要了解其定义是等价的，只需要知道上述式子的两边都是三个引数的函数。例如，式子左边为类似地，一单作结合代数可以以单位映射formula_6来定义，其性质如下：其中，单位映射η将"K"内的元素"k"映射至"A"内的元素"k1"，这里"1"是"A"的单位元。映射"s"只是个纯量乘积：formula_8。