تابعی از اعداد طبیعی x,y بیابید که اولا (f(x,y)=f(y,x
و اینکه این تابع به ازای هر زوج عدد، یک مقدار منحصربفرد بدهد. یعنی هیچ a,b ای وجود نداشته باشند که (f(x,y)=f(a,b برقرار باشد(که {a,b} مخالف با {x,y} است).
شامل هر رشته ای از اعداد در ارقام اعشاری اش است. پس کافیه یک جا سه تا رقم صفر پشت سر هم داشته باشه تا مثال شما نادرست بشه.
برای این سوال، می دونیم که اعداد گویا در تناظر یک به یک با این مجموعه است، و اعداد گویا هم در تناظر یک به یک با اعداد طبیعی است، پس حتما چنین تابعی وجود دارد.