X ଏବଂ Y କୁ ସମୁଚ୍ଚୟ ଏବଂ f : x → y କୁ ଗୋଟିଏ-ଏକ ଏବଂ ଫଙ୍କସନ୍ ଉପରେ ରହିବାକୁ ଦିଅ, ତେବେ ସତ୍ୟ ବିବୃତ୍ତି ହେଉଛି:
1
f -1 ନା ଏକ-ଗୋଟିଏ ନା ଅନଟୋ ଫଙ୍କସନ୍।
2
f -1 ଗୋଟିଏ-ଗୋଟିଏ କିନ୍ତୁ କାର୍ଯ୍ୟରେ ନାହିଁ।
3
f -1 ଅନ୍ ଅଛି କିନ୍ତୁ ୱାନ୍-ୱାନ୍ ଫଙ୍କସନ୍ ନୁହେଁ।
4
f -1 ହେଉଛି ଗୋଟିଏ-ଗୋଟିଏ ଏବଂ ଅନଟ ଫଙ୍କସନ୍।