若定义在正整数有序对集合上的二元函数f满足:①f(x,x)=x,②f(x,y)=f(y,x);③(x+y)f(x,y)=