전단사 X->Y가 존재할때 X와 Y는 일대일 대응이고 기호로 X~Y로 나타낸다고 배웠어요. 

a<b일때 (a,b)~(1,2)임을 증명하라는 문제가 있는데 어떻게 증명하죠?