这个我也不太清楚，但是我个人感觉这个没有什么意义，不用抠这个

元素可以抽象成1 2 3 ...n，而不是具体的张三李四

任意n元集合上的对称群都是在同构意义下相等的，讨论{x_1,x_2,...,x_n}上的对称群和讨论{1,2,...,n}上的对称群没区别，映射φ(k)=x_k建立了一个同构。

把abc換成菠蘿香蕉蘋果也行

无关紧要的，比如a+b＝1，我把a换成汉字诶，b换成币，变成诶+币＝1，不会影响这题。就是说，这题和“x”“y”这两个符号没有任何关系，其实你把1换掉也可以，1也只是一个符号，你可以拿一个其他东西来代替掉“1”，他们是“非本质”的，本质的是“一个东西”+“另一个东西”＝“一个东西”