function - 関数のこのプロパティの名前は何ですか？

Question

関数fがあるとします。fが結合法則であり、f（x、y、z）=== f（x、f（y、z））であるようなa->aをリストします。この後者のプロパティの慣習的な名前はありますか？

このプロパティを持つ関数の例は、AND、XOR、sum、product、およびGCDです。このプロパティのない結合関数の例は、NANDおよびXNORです。

このプロパティは、f（xs）=== reduce（f、xs）と言うのと同じだと思います。

Answer 1

これは、fが結合2値関数とその中立要素のカタモルフィズムであると言うのと同じように見えます。舌を正確に転がしません。

（また、NANDは連想的ではありません。私の悪いことです。）