اگر یک رابطه به صورت مجموعه‌ی زوج‌های مرتب داده شده باشد، هنگامی این رابطه تابع است که هیچ دو زوج مرتب متمایزی در آن دارای مولفه‌ی اول یکسان نباشند.  $\{(a-1,2) , (5,a-2) , (a-2,b+3) , (3,5) , (5,3) \}=\{(2,2),(5,3),(3,5)\}$ $a-2=3 \to a=5$ $(a-1,2)=(3-1,2)=(2,2) $  $(a-2,b+3)=(3,b+3)=(3,5) \to b+3=5 \to b=2$