adalah inverse dari sebuah fungsi selalu surjective
Fungsi surjective -- setiap fungsi menginduksi surjection dengan membatasi kodomainnya ke jangkauannya. setiap fungsi surjective memiliki inverse kanan, dan setiap fungsi dengan inverse kanan tentu saja merupakan sebuah surjection. komposisi fungsi surjective selalu surjective. setiap fungsi dapat terurai ke dalam surjection dan injeksi.