Say a function is commutative if it remains unchanged under any permutation of its arguments. E.g. $f(0,1)=f(1,0)$. (Alternatively we could describe these as functions over multi-sets, or say that they are reflective about any hyperplane $x_i=x_j$). Some examples are sum, product and average.
- Is there a name for these functions? Google searches for "commutative" and "reflective" functions don't turn up anything.
- Can we say anything interesting about these functions? For example, I note that any commutative function which is linear must be the sum function, multiplied by some constant. (i.e. $f(x)=c\sum x_i$). Also I see that the functions make up a field under the obvious operations.