Assertion: function's codomain | /r/HasProperty | y of f
Facets:
Source sentences:
text: In mathematics, a function f from a set X to a set Y is surjective (also known as onto, or a surjection), if for every element y in the codomain Y of f, there is at least one element x in the domain X of f such that f(x) =