>>655
＞関数（R^∞)^n→N^nが、変数の交換により不変であり
＞変数の交換は各順列を代表にもつ同値類どうしの変換となるから

関数（R^∞)^n→N^n　って何？
定義域と値域しか書かかずに何を示した気でいるの？