Assertion: partial function | /r/HasProperty | surjective
Facets:
value: to be injective
type: PURPOSE
Source sentences:
text: A partial function is said to be injective, surjective, or bijective when the function given by the restriction of the partial function to its domain of definition is injective, surjective, bijective respectively.
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.