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

Question

假设你有一个函数 f：列出 a -> 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 不是关联的。我的错。）