Assertion: surjective function | /r/HasProperty | inverted to injective partial function
Facets:
Source sentences:
text: An injective partial function may be inverted to an injective partial function, and a partial function which is both injective and surjective has an injective function as inverse.