函数f定义在正整数有序数对的集合上,并满足f(x,y)=x,f(x,y)=f(y,x),x乘上f(x,y)=f(x,xy