Assertion: function's codomain | /r/HasProperty | y ∪ c
Facets:
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).