아예 집합과 독립적인 무언가로 정의하면 가능할거같은데
집합으로서 정의하면 무조건 불가능?

임의의 객체 x,y에 대해
f(x,y)가 객체이고,
f(x,y)=f(x',y')일 필요충분조건이 x=x',y=y'인
임의의 이변수함수 f에 대해
f(x,y)=x 또는 f(y,x)=x를 만족하는 객체 x,y는 없다

가 참인가?