Assertion: partial function | /r/HasProperty | extended to function
Facets:
value: by any fixed value
type: OTHER
Source sentences:
text: because any partial function can be extended to a function by any fixed value c not contained in Y, so that the codomain is Y ∪ {c}, an operation which is injective (unique and invertible by restriction).