Function 函数的此属性的名称是什么?

Function 函数的此属性的名称是什么?,function,terminology,Function,Terminology,假设您有一个函数f:List a->a,使得f是关联的,并且f(x,y,z)==f(x,f(y,z))。后一种财产有常规名称吗 具有此属性的函数示例有AND、XOR、sum、product和GCD。没有此属性的关联函数的示例有NAND和XNOR 我相信这个性质相当于说f(xs)==reduce(f,xs)。看起来这也相当于说f是一个结合二元函数及其中性元素的一个反同构。不会从舌头上掉下来 (而且,NAND不是关联的。我的错。)我从来没有听说过这方面的任何术语。说出它的名字

假设您有一个函数f:List a->a,使得f是关联的,并且f(x,y,z)==f(x,f(y,z))。后一种财产有常规名称吗

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


我相信这个性质相当于说f(xs)==reduce(f,xs)。

看起来这也相当于说f是一个结合二元函数及其中性元素的一个反同构。不会从舌头上掉下来


(而且,NAND不是关联的。我的错。)

我从来没有听说过这方面的任何术语。说出它的名字