આપેલ છે કે કોઈપણ $n \in N$ માટે એક એકી પૂર્ણાંક $q$ અને એક અ-ઋણ પૂર્ણાંક $r$ અસ્તિત્વ ધરાવે છે જેથી $n$ ને અનન્ય રીતે $n = q \times 2^r$ તરીકે લખી શકાય. ધારો કે $f: N \rightarrow N \times N$ એ $f(n) = \left(r+1, \frac{q+1}{2}\right)$ દ્વારા વ્યાખ્યાયિત વિધેય છે. તો,

• A
  $f$ એક-એક છે પણ વ્યાપ્ત નથી
• B
  $f$ વ્યાપ્ત છે પણ એક-એક નથી
• C
  $f$ એક બાયજેક્શન (એક-એક અને વ્યાપ્ત) છે
• D
  માત્ર $f^{-1}(1,1)$ અસ્તિત્વ ધરાવતું નથી કારણ કે $f$ બાયજેક્શન નથી