જો કોઈ વિધેય એકથી એક ન હોય તો શું તેનો ઇન્વર્સ હોય છે?
બધા વિધેયોમાં વ્યુત્ક્રમ વિધેયો હોતા નથી. વિધેય f: X → Y માટે વ્યુત્ક્રમ હોય તે માટે, તેનો ગુણધર્મ હોવો આવશ્યક છે કે Y માં દરેક y માટે એક હોવો આવશ્યક છે, અને X માં માત્ર એક x હોવો આવશ્યક છે જેથી f (x) = y. આ ગુણધર્મ સુનિશ્ચિત કરે છે કે વિધેય g: Y → X એ f સાથે જરૂરી સંબંધ ધરાવતું અસ્તિત્વ ધરાવશે.