>>109
群論や置換σを用いれば高校でいう「多項式」の対称式
f(x_1、…、x_n)＝f(σ(x_1)、…、σ(x_n))
は、同様に「関数」でいう何かについても一般化出来るとは思うんだよね。
果たして可能かどうかはまだ知らないが。
だから、>>49-50の定義はまんざら嘘とはいい切れないとは思うよ。