તદેવ વિધેય $I_{N}: N \rightarrow N$ ધ્યાનમાં લો,જે $I_{N}(x) = x$ દરેક $x \in N$ માટે વ્યાખ્યાયિત છે. દર્શાવો કે જોકે $I_{N}$ વ્યાપ્ત (onto) છે,પરંતુ $I_{N} + I_{N}: N \rightarrow N$ જે $(I_{N} + I_{N})(x) = I_{N}(x) + I_{N}(x) = x + x = 2x$ તરીકે વ્યાખ્યાયિત છે,તે વ્યાપ્ત નથી.

(N/A) તદેવ વિધેય $I_{N}: N \rightarrow N$ એ $I_{N}(x) = x$ દ્વારા વ્યાખ્યાયિત છે. કોઈપણ $y \in N$ માટે,$x = y \in N$ અસ્તિત્વ ધરાવે છે જેથી $I_{N}(x) = y$,તેથી $I_{N}$ વ્યાપ્ત છે.
હવે,વિધેય $f(x) = (I_{N} + I_{N})(x) = 2x$ ધ્યાનમાં લો. આ વિધેયનો વિસ્તાર એ તમામ બેકી પ્રાકૃતિક સંખ્યાઓનો ગણ છે,એટલે કે $\{2, 4, 6, \dots\}$.
સહ-પ્રદેશ $N = \{1, 2, 3, \dots\}$ હોવાથી,આપણે જોઈ શકીએ છીએ કે $3 \in N$ જેવો ઘટક પ્રદેશ $N$ માં કોઈ પૂર્વ-પ્રતિબિંબ ધરાવતો નથી,કારણ કે $2x = 3$ નો અર્થ $x = 1.5$ થાય છે,જે પ્રાકૃતિક સંખ્યા નથી.
તેથી,$I_{N} + I_{N}$ વ્યાપ્ત નથી.