Assertion: partial function | /r/HasAspect | injective 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.