Because a function is trivially partial when restricted to its image , the term surjective bijection is a partial function which denotes injective .
Because a function is trivially surjective when restricted to its image , the term partial bijection denotes a partial function which is injective .