Assertion: function's element | /r/HasProperty | such that
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) =