函数的这个属性的名称是什么？

Question

假设你有一个函数f：列出一个 - ＆gt; a，f是关联的，f（x，y，z）=== f（x，f（y，z））。后一种财产是否有传统的名称？

具有此属性的函数示例包括AND，XOR，sum，product和GCD。没有此属性的关联函数的示例是NAND和XNOR。

我相信该属性相当于说f（xs）=== reduce（f，xs）。

Answer 1

看起来这也等同于说f是关联二元函数及其中性元素的同态。不会完全脱掉舌头。

（另外，NAND不是关联的。我的不好。）