一个问题是你写了
$$\big(语言a_1、p_1\rangle、语言a_2、语言a_3、语言p_3\rangle\big)$$
而不是
$$\{langle a_1,p_1\rangle,\langle a_2,p_2\rangel,\langles a_3,p_3\range\}$$
这使得
$$big(语言a_2,p_2等级,语言a_3,p_3等级,语言a_1,p_1等级big)$$
看起来有些不同,因为括号使它看起来像一个有序的三元组。事实上应该是
$$\{langle a_2,p_2范围,langle a_3,p_3范围,langler a_1,p_1范围$$
从$\{a_1,a_2,a_3\}$到$P$的相同函数,其元素按不同顺序列出。但我们命名集合元素的顺序无关紧要。成套设备
$$\开始{align*}&\{语言a_1,p_1语言a_2,p_2语言a_3,p_3语言a}\\&\{langle a_1,p_1等级,langle a_3,p_3等级,langle a_2,p_2等级\\&\{语言a_2,p_2语言a_1,p_1语言a_3,p_3语言\\&\{语言a_2,p_2语言a_3,p_3语言a_1,p_1语言\\&\{语言a3,p3语言a1,p1语言a2,p2语言;,\文本{和}\\&\{langle a_3,p_3等级,langle a_2,p_2等级,langler a_1,p_1等级\结束{align*}$$
都是相同的集合,因此从$\{a_1、a_2、a_3\}$到$P$的函数相同。如果你已经充分强调了关于集合的事实,那么它至少应该有助于说明这一点。
不太严格地说,我们所说的是结果——获得每个奖项的人的实际身份——与奖项的实际颁发顺序无关。函数告诉谁得到什么;它没有说明奖项的实际分配顺序。它们甚至可以由三个不同的演示者同时分发。