这道题涉及到大学代数里面的数域的概念
这里a=b并不和集合的互异性冲突
因为任意的a,b∈P的意思是a是取自于P中的一个数,b也是取自于P中的一个数,a,b的取值并不互相影响,所以a,b取值可以相同
而你把a,b都理解成了P中的元素